#include "foo.h"

int32_t foo() {
  return FOO;
}