while 0#(x:?read(?-,?-,0))do printf(?t,"~:d
",x);