// OBSOLETE /* Definitions for all PA machines.  */
// OBSOLETE 
// OBSOLETE /* This was created for "makeva", which is obsolete.  This file can
// OBSOLETE    probably go away (unless someone can think of some other host thing
// OBSOLETE    which is common to various pa machines).  */