The text a6c752dd6187, as Debian 10 (Buster) shipped it.
kernel tracing facility
CTR0(9freebsd) on Linux now
