#include "gbos.h"
/* print an unsigned byte as decimal (no runtime division: subtract-based) */
static void putu(unsigned char n) {
    char buf[3]; unsigned char i = 0;
    if (n == 0) { putc('0'); return; }
    while (n) { buf[i++] = '0' + (n % 10); n = n / 10; }
    while (i) putc(buf[--i]);
}
void main(void) { putu(getpid()); nl(); }