while(x:?read\-line(?-,?-,~))#~do printf(?t,"~v,'0x
",slength(x),"");