The text efa5d65ee3d3, as Debian 10 (Buster) shipped it.
Splits delimited string into tokens.
ost_StringTokenizer(3) on Linux now
