Unlikely, since it's very simple to do $len($gettok(...))