templates doWhile 0 -> # <> def val: $ + 1; $val -> !OUT::write $val -> \()> $!\) -> # end doWhile