Note that you don't need to use $lower(), since $*tok() identifiers are not case-sensitive (their case-sensitive counterparts are the $*tokcs() identifiers).