1 #include <assert.h> 2 #include <inttypes.h> 3 #include <stdlib.h> 4 5 extern "C" int32_t double_foo(); 6 main(int argc,char ** argv)7 int main(int argc, char** argv) { 8 assert(double_foo() == 84); 9 return EXIT_SUCCESS; 10 } 11