foboot/src/main.c

#include <stdio.h>

void main(int argc, char **argv) {
    printf("Hello, world!\n");
    while (1) {
        printf("10 PRINT HELLO, WORLD\n");
        printf("20 GOTO 10\n");
    }
}