blob: 2a57330540c0f23205abeae53b78d89ba73e305a [file] [log] [blame]
Brian Silvermancc09f182022-03-09 15:40:20 -08001#include <assert.h>
2#include <stdint.h>
3
4extern int32_t my_favorite_number();
5
6int main(int argc, char** argv) {
7 assert(my_favorite_number() == 4);
8 return 0;
9}