The text 08f9bc229f7b, as Debian 4.0 (Etch) shipped it.
systemtap pagefault probe points
stapprobes.pagefault(5) on Linux now