#define FOO 3

#include <stdint.h>

int32_t foo();