The text f76a69b5da39, as Debian 10 (Buster) shipped it.
switch to the next output file
function::switch_file(3stap) on Linux now
