The text 727bd82e1137, as Debian 7 (Wheezy) shipped it.
Optional values.
Prelude.Maybe(3kaya) on Linux now
