#include "../src/liblinux.h"

int main() {
  char hellostr[] = "Hello, World!\n";
  write(1, hellostr, sizeof(hellostr));
  return 0;
}