The text 5cb8406b41c5, as Debian 7 (Wheezy) shipped it.
Parse a string into a list of integers
get_options(9) on Linux now
