/*
 * Copyright (c) 1983 Regents of the University of California.
 * All rights reserved. The Berkeley Software License Agreement
 * specifies the terms and conditions for redistribution.
 */
static char rcsid[] = "$Header:machdep.c 12.0$";
#ifndef lint
static	char *sccsid = "@(#)machdep.c	1.5 83/06/02";
#endif

#include "externs.h"

/*
 * Nothing left
 */
