#include <stdlib.h>
#include <syscall.h>

int main(int argc, char **argv) {
    (void)argc; (void)argv;
    printf("BoredOS v1.64\n");
    printf("BoredOS Kernel V3.0.0\n");
    return 0;
}