printf(?t,"~{~:d ~}",read_list("../fd/0"));