(while(read-byte)=> x(if(> x 57)(format #t"~a "x)))