The text ef1fff7cd65e, as Debian 10 (Buster) shipped it.
returns an amount of space to indent
function::indent(3stap) on Linux now
