The text 3bfe576578fd, as Debian 8 (Jessie) shipped it.
Parse a string into a list of integers
get_options(9) on Linux now
