But then - to my knowledge - no other identifier handles a "text"-parameter in this way.
There are quite a few, such as $gettok(a b c,blah,32), $line(windowname,blah), $findfile(.,*,blah,1), $sock(*,blah). In fact, excluding cases where an identifier
has to discriminate between numbers and non-numbers (such as $nick()), I can't find a counterexample.
