The text dceed706d103, as Debian 7 (Wheezy) shipped it.
write out a single page and optionally wait on I/O
write_one_page(9) on Linux now
