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

#include "externs.h"

/*
 * Nothing left
 */