static char rcsidmachdep [] = "$Header:machdep.h 12.0$";
/* Copyright (c) 1979 Regents of the University of California */

/* static char sccsid[] = "@(#)machdep.h 1.3 1/10/83"; */

#ifdef ADDR32
#define pushaddr push4
#define popaddr (char *)pop4
#endif ADDR32
#ifdef ADDR16
#define pushaddr push2
#define popaddr (char *)pop2
#endif ADDR16
