extern int open(const char *, int);
extern int write(int, char *, int);
extern int close(int);

__attribute__ ((visibility ("default")))
int main() {
  const char *name = "stdout";
  char *msg = "Hello, world!";
  int fd = open(name, 0x42);
  write(fd, msg, 13);
  close(fd);

  return 0;
}