(KillSlot
  [LAMBDA (s U1 V1 temp)                                    (* edited: "11-MAR-81 15:17")
    (AND (Slotp s)
	 (OR U1 (AND (BOUNDP (QUOTE u))
		     (SETQ U1 u)))
	 (PROG1 (COND
       ...