(SETQ IBASE (ADD1 7)) 


(DEFPROP ALLFNS 
 (NIL SINIT ↑ ↓ ← → POP PUSH PUSHQ READQ SUB1L KILL FOO SAFE XBLKS INIT) 
VALUE)

(DEFPROP SINIT 
 (LAMBDA NIL
  (PROG NIL
	(SETQ S (REVERSE (MAPCAR (QUOTE (λ (X) (LIST (CAR X) (CDR X)))) YYY)))
	(SETQ R (CAR S))
	(SETQ S (CDR S))
	(SETQ P NIL)
	(SETQ Q (QUOTE (0 JOB))))) 
EXPR)

(DEFPROP ↑ 
 (LAMBDA NIL
  (PROG NIL
	(SETQ Q (CONS (CAAR P) (APPEND (CDAR P) (CDR Q))))
	(SETQ P (CDR P))
	(PRINT R)
	(PRINT Q)
	(TERPRI)
	(RETURN NIL))) 
EXPR)

(DEFPROP ↓ 
 (LAMBDA NIL
  (PROG NIL
	(SETQ P (CONS Q P))
	(SETQ Q R)
	(SETQ R (CAR S))
	(SETQ S (CDR S))
	(PRINT R)
	(PRINT Q)
	(TERPRI)
	(RETURN NIL))) 
EXPR)

(DEFPROP ← 
 (LAMBDA NIL (PROG2 NIL (SETQ Q (APPEND Q (CDAR R))) Q (SETQ R (CDR R)))) 
EXPR)

(DEFPROP → 
 (LAMBDA NIL
  (PROG NIL
	(SETQ Q (APPEND R (CDR Q)))
	(SETQ R (CAR S))
	(SETQ S (CDR S))
	(PRINT R)
	(PRINT Q)
	(TERPRI)
	(RETURN NIL))) 
EXPR)

(DEFPROP POP 
 (LAMBDA NIL (PROG2 (SETQ Q (CAR P)) Q (SETQ P (CDR P)))) 
EXPR)

(DEFPROP PUSH 
 (LAMBDA NIL (PROG2 (SETQ P (CONS Q P)) (SETQ Q NIL))) 
EXPR)

(DEFPROP PUSHQ 
 (LAMBDA NIL (PROG2 (SETQ P (CONS (CAR R) P)) (LENGTH (SETQ R (CDR R))))) 
EXPR)

(DEFPROP READQ 
 (LAMBDA (PROG2 (SETQ Q (CAR R)) Q (SETQ R (CDR R))) . #52150) 
EXPR)

(DEFPROP SUB1L 
 (LAMBDA (L) (MAPCAR (QUOTE (λ (X) (CONS (SUB1 (CAR X)) (CDR X)))) L)) 
EXPR)

(DEFPROP KILL 
 (LAMBDA (X) (COND ((NULL X) NIL) ((NULL (CAR X)) (KILL (CDR X))) (T (CONS (CAR X) (KILL (CDR X)))))) 
EXPR)

(DEFPROP FOO 
 (LAMBDA (X) (COND ((ZEROP (CAADR X)) NIL) (T (CONS (CDDDR X) (CDADR X))))) 
EXPR)

(DEFPROP SAFE 
 (LAMBDA NIL (DSKOUT FOOBAZ (GRINL ALLFNS))) 
EXPR)

(DEFPROP XBLKS 
 (LAMBDA NIL
  (PROG NIL
   L    (SETQ X (XSYM ADR))
	(AND (OR (AND (EQ (CAAR X) 0) (CDAR X)) (EQ (CAAR X) 3)) (SETQ ZZZ (CONS (CONS ADR X) ZZZ)))
	(SETQ ADR (PLUS ADR 2))
	(AND (ZEROP (SETQ CNT (PLUS CNT 2))) (RETURN NIL))
	(GO L))) 
EXPR)

(DEFPROP INIT 
 (LAMBDA NIL
  (PROG NIL
	(SETQ CNT (SUB1 (QUOTIENT (EXAMINE 116) 1000000)))
	(SETQ ADR (BOOLE 1 (EXAMINE 116) 777777))
	(SETQ ZZZ NIL))) 
EXPR)