#include "foo.h"

int32_t foo (void) {
  return FOO;
}