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