(SGNX)
(SGNY)
(EXPX)
(EXPY)
(SGNZ)
(RC_C2
 (1 1 (:TYPE-PRESCRIPTION RC_C2))
 )
(RCONST_SING_OF)
(RCONST_DOUB_OF)
(SIGX)
(SIGX_C3
 (1 1 (:TYPE-PRESCRIPTION SIGX_C3))
 )
(SIGY)
(SIGY_C3
 (1 1 (:TYPE-PRESCRIPTION SIGY_C3))
 )
(PROD)
(PC_C2
 (1 1 (:TYPE-PRESCRIPTION PC_C2))
 )
(RCONST_OF)
(RCONST_NOF)
(PC_C3
 (1 1 (:TYPE-PRESCRIPTION PC_C3))
 )
(PC_C4
 (1 1 (:TYPE-PRESCRIPTION PC_C4))
 )
(RC_C3
 (1 1 (:TYPE-PRESCRIPTION RC_C3))
 )
(RC_C4
 (1 1 (:TYPE-PRESCRIPTION RC_C4))
 )
(STICKY_OF)
(ADD_OF)
(MASK_OF)
(STICKY_NOF)
(ADD_NOF)
(MASK_NOF)
(CARRY_OF)
(CARRY_NOF)
(SIG_OF)
(SIG_NOF)
(OVERFLOW)
(SIGZ)
(EXP_SUM)
(EXP_SUM_C3
 (1 1 (:TYPE-PRESCRIPTION EXP_SUM_C3))
 )
(EXP_SUM_C4
 (1 1 (:TYPE-PRESCRIPTION EXP_SUM_C4))
 )
(EXP_OF)
(EXP_NOF)
(EXPZ)
(SGNZ_C3
 (1 1 (:TYPE-PRESCRIPTION SGNZ_C3))
 )
(SGNZ_C4
 (1 1 (:TYPE-PRESCRIPTION SGNZ_C4))
 )
(Z)
(FMUL)
