The text f6947e1188e6, as Debian 12 (Bookworm) shipped it.
Addition between floating points
function::fp_add(3stap) on Linux now