The text a88f1bf8b059, as Debian 4.0 (Etch) shipped it.
Parse a string into a list of integers
get_options(9) on Linux now
