#include <stdlib.h>
#include <stdio.h>
#include <sys/unistd.h>
#include <sys/syscall.h>

int main() {
  long int ret;
  int fd = 0;
  char* str = "Hello World!\n";
  int strlen = sizeof("Hello World!");

  /* ret = write(fd, str, strlen); */
  asm ("int $0x80;"
       : "=a" (ret)
       : "0" (SYS_write),
         "b" (fd),
         "c" (str),
         "d" (strlen)
      );

  return ret;

}