#include "foo.h"
int32_t foo() {
return FOO;
}