The text a262e23b947b, as Debian 10 (Buster) shipped it.
get the CPU's fast counter register contents
get_cyclecount(9freebsd) on Linux now
