The text 4ff82938d5fc, as Debian 7 (Wheezy) shipped it.
optional parts of the POSIX standard
posixoptions(7) on Linux now
