The text 7d123c7a3a1a, as Debian 11 (Bullseye) shipped it.
Subtraction between floating points
function::fp_sub(3stap) on Linux now