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