use gcc-c-interface.h