procedure main() write( many( &lcase, "word1word2" ) ) # = 5, position of the `1' end