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