The text 301a5f87dd5c, as Debian 10 (Buster) shipped it.
Returns the high half of the product of x and y.
mul_hi(3clc) on Linux now
