__attribute__((export_name("hello")))
int hello() {
  return 4;
}