// (this is used for piping input to the IRIX compiler without needing to make a temporary .c file)
#include "/dev/stdin"