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