@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
/*
* (c) copyright 1983 by the Vrije Universiteit, Amsterdam, The Netherlands.
*
@@ -1,3 +1,5 @@
+/* $Header$ */
#define ex_ap(y) fprintf(codefile,"\t.globl %s\n",y)
#define in_ap(y) /* nothing */