
;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 32) (SDF 22) (ALIGN 7) (MARK 128) (CLEAN 10) (DIRTY 10) (BYTES 492))
