/* 
   arpl.h

   Define all ARPL CPU functions.
 */

/*
   static char SccsID[]="@(#)arpl.h	1.4 02/09/94";
 */

IMPORT VOID ARPL
           
IPT2(
	IU32 *, pop1,
	IU32, op2

   );