The text a20c7288ea81, as Debian 10 (Buster) shipped it.
ioctls for console terminal and virtual consoles
ioctl_console(2) on Linux now
