1 #include <assert.h> 2 #include <stdint.h> 3 4 extern int32_t return_5_in_no_std(); 5 main(int argc,char ** argv)6 int main(int argc, char** argv) { 7 assert(return_5_in_no_std() == 5); 8 return 0; 9 } 10