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