// Used for piping generated C source into the IRIX compiler.
#include "/dev/stdin"