#include <stdint.h> #include "foo.h" int32_t bar1() { return 5; }