;Beginning compilation on /toe/ppg/kranz/bench/data.t

MEMBER
EQUAL?
ADD-LEMMA
ADD-LEMMA-LST
SETUP
(VARIABLES
  FREE (NO-MORE-COND-CLAUSES ERROR GET PUT ALIKEV? MEM)
  EARLY-BOUND ()
  DEFINED (MEMBER EQUAL? ADD-LEMMA ADD-LEMMA-LST SETUP)
  LSET ()
  SET ()
  ERROR ()
  INTEGRATED (NULL? CDR EQ? PAIR? ELSE CONS CADR CAR)
  LOCAL ()
  UNREFERENCED (MEMBER EQUAL?))
;;; 0 IBs queued, 2 IBs unqueued
(AS (IB 30) (SDF 20) (ALIGN 7) (MARK 105) (CLEAN 6) (DIRTY 7) (BYTES 356))