[a,b]:read_list("/dev/fd/0",'comma);sum(printf(?t,"~d
",i),i,a,b);