printf("%t\n", @typeof(int(*)[8/sizeof(int)]));