This section describes features and/or command-line options from previous releases of gawk that are either not available in the current version or that are still supported but deprecated (meaning that they will not be in the next release).
The process-related special files /dev/pid, /dev/ppid,
/dev/pgrpid, and /dev/user were deprecated in gawk
3.1, but still worked. As of version 4.0, they are no longer
interpreted specially by gawk. (Use