* GCC builds ok