The text c3d3fde9ec82, as Debian 10 (Buster) shipped it.
Add a numeric metric
function::json_add_numeric_metric(3stap) on Linux now