- printf("Berkeley Pascal PI -- Version 1.2 (%s)\n\n%s %s\n\n",
- version, myctime(&tvec), filename);
+# ifdef OBJ
+ printf("Berkeley Pascal PI -- Version 2.0 (%s)\n\n%s %s\n\n",
+ version, myctime(&tvec), filename);
+# endif OBJ
+# ifdef PC
+ printf("Berkeley Pascal PC -- Version 2.0 (%s)\n\n%s %s\n\n",
+ version, myctime(&tvec), filename);
+# endif PC