The text c414d3ea3e2a, as Debian 9 (Stretch) shipped it.
region arithmetic
XXorRegion(3) on Linux now
