Successful compilation with GCC