#include "gbos.h"
/* cat: copy stdin to stdout until EOF (Ctrl-D / pipe end). */
void main(void) {
    char c;
    for (;;) {
        c = readc();
        if (c == EOF) break;
        putc(c);
    }
}