extern "C" { int makeInt(void) { return 1; } }