(PLET-TEST10)
(PFIB
 (11 11 (:REWRITE DEFAULT-<-2))
 (11 11 (:REWRITE DEFAULT-<-1))
 (6 6 (:REWRITE ZP-OPEN))
 (4 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE DEFAULT-UNARY-MINUS))
 )
(TEST-GRANULARITY1)
(FOO-POR-CHECK)
(FOO-POR-CHECK2)
(FOO-PAND-CHECK)
(FOO-PAND-CHECK2)
(ERROR-PAND)
(ERROR-POR)
(TEST-STOBJ)
(INIT-STOBJ-BAR)
(TEST-STOBJ-PREAD)
(INIT-STOBJ-BAR2)
(PLET-DECLARE-TEST0
 (1 1 (:TYPE-PRESCRIPTION PLET-DECLARE-TEST0))
 )
(PLET-DECLARE-TEST1)
(PLET-DECLARE-TEST2
 (1 1 (:TYPE-PRESCRIPTION PLET-DECLARE-TEST2))
 )
