#include "gbos.h"
void main(void) {
    writes("hello from C on gbos!", 21);
    nl();
    writes("my pid is ", 10);
    /* print pid as a digit */
    { unsigned char c = getpid() + '0'; char d = c; writes(&d, 1); }
    nl();
}