t = @typename(void (*)(T));
printf("%t\n", t);