The text b3c2277dacfd, as Debian 9 (Stretch) shipped it.
systemtap nfsderrno tapset
tapset::nfsderrno(3stap) on Linux now
