The text b1300b813a5a, as Debian 9 (Stretch) shipped it.
convert an inode number to a vnode
VFS_VGET(9freebsd) on Linux now
