prom_nbputchar
extern int prom_nbputchar(char character);
while(prom_nbputchar(c) == -1) ;
int n = prom_nbputchar(buf);