There are many other $tok's that can also be done without being built-in. For example, $numtok(..,32) is the same as $gettok(..,0,32).

So it's not about the bytes.


chadchoud @ DALnet