#include "userlib/syscall.h"
#include "userlib/libnachos.h"

int main() {
    n_printf("Hello World 1\n");
    n_printf("Hello World 2\n");
    n_printf("Hello World 3\n");
    n_printf("Hello World 4\n");
    Shutdown();
    return 0;
}