The text 031e55df03bb, as Debian 5.0 (Lenny) shipped it.
Parse a string into a list of integers
get_options(9) on Linux now
