1 #include <stdint.h> 2 3 extern "C" { forty_two_from_cc()4 int32_t forty_two_from_cc() { return 42; } 5 } 6