int strlen(char *s) {
    int n = 0;
    while (s[n] != 0) { n = n + 1; }
    return n;
}

int puts_fd(int fd, char *s) {
    return syscall(1, fd, s, strlen(s));
}

int main() {
    puts_fd(1, "Hello from JIT syscall!\n");

    int pid = syscall(39);
    int pid_ok = pid > 0;

    char msg[32];
    msg[0] = 'P'; msg[1] = 'I'; msg[2] = 'D'; msg[3] = ' ';
    msg[4] = 'o'; msg[5] = 'k'; msg[6] = ':'; msg[7] = ' ';
    msg[8] = '0' + pid_ok;
    msg[9] = '\n';
    syscall(1, 1, msg, 10);

    int n1 = syscall(1, 1, "write test 1\n", 13);
    int n2 = syscall(1, 1, "write test 2\n", 13);

    int result = pid_ok + (n1 == 13) + (n2 == 13);

    return result;
}