The text 8c3b6beb2d1e, as Debian 10 (Buster) shipped it.
Multiply x by 2 to the power k.
ldexp(3clc) on Linux now
