The text 13b746ac23d2, as Debian 10 (Buster) shipped it.
get a passphrase from the user
readpassphrase(3bsd) on Linux now
