for(int i=0; i<textlength; i++){ putchar(text[i]); }
(for (= int i 0) (< i textlength) (++ i) (putchar (th i text)))