/* Copyright (c) 1979 Regents of the University of California */
-/* static char sccsid[] = "@(#)machdep.h 1.1 %G%"; */
+/* static char sccsid[] = "@(#)machdep.h 1.2 %G%"; */
+#ifdef VAX
#define pushaddr push4
#define popaddr (char *)pop4
-#define popargs(num) popsp(num * sizeof(int))
+#else
+#define pushaddr push2
+#define popaddr (char *)pop2
+#endif VAX