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