sum(printf(?t,"~vr
",16-i,16),i,0,14);