(while:prn:num:read)