#include "sys.h"

int main() {
  write(1, "Hello world!\n", 13);
  return 17;
}