blob: 82f7e5161ff07a37e37e4237501beee51a905858 [file] [log] [blame]
#include <assert.h>
#include <stdint.h>
extern int32_t my_favorite_number();
int main(int argc, char** argv) {
assert(my_favorite_number() == 4);
return 0;
}