#ifndef lint static char *sccsid = "@(#)machdep.c 1.5 83/06/02"; #endif #include "externs.h" /* * Nothing left */