;;; -*- Mode:LISP; Package:USER; Base:10; Readtable:CL -*-

(defmacro phony-read(x) `(list ,x))

;(defun phony-read(x) x)

(defun phony-do(&aux (addr #o17704000))
  (dotimes(i 248)
    (phony-read addr)
    (incf addr)))

(defun phony-prog()
  (prog(addr)
       (setq addr #o17704000)
       LOOP
       (phony-read addr)
       (when (lessp addr #o17704370)
	 (incf addr)
	 (go LOOP))))

(defun phony-const()
  (phony-read #o17704000)
  (phony-read #o17704001)
  (phony-read #o17704002)
  (phony-read #o17704003)
  (phony-read #o17704004)
  (phony-read #o17704005)
  (phony-read #o17704006)
  (phony-read #o17704007)
  (phony-read #o17704010)
  (phony-read #o17704011)
  (phony-read #o17704012)
  (phony-read #o17704013)
  (phony-read #o17704014)
  (phony-read #o17704015)
  (phony-read #o17704016)
  (phony-read #o17704017)
  (phony-read #o17704020)
  (phony-read #o17704021)
  (phony-read #o17704022)
  (phony-read #o17704023)
  (phony-read #o17704024)
  (phony-read #o17704025)
  (phony-read #o17704026)
  (phony-read #o17704027)
  (phony-read #o17704030)
  (phony-read #o17704031)
  (phony-read #o17704032)
  (phony-read #o17704033)
  (phony-read #o17704034)
  (phony-read #o17704035)
  (phony-read #o17704036)
  (phony-read #o17704037)
  (phony-read #o17704040)
  (phony-read #o17704041)
  (phony-read #o17704042)
  (phony-read #o17704043)
  (phony-read #o17704044)
  (phony-read #o17704045)
  (phony-read #o17704046)
  (phony-read #o17704047)
  (phony-read #o17704050)
  (phony-read #o17704051)
  (phony-read #o17704052)
  (phony-read #o17704053)
  (phony-read #o17704054)
  (phony-read #o17704055)
  (phony-read #o17704056)
  (phony-read #o17704057)
  (phony-read #o17704060)
  (phony-read #o17704061)
  (phony-read #o17704062)
  (phony-read #o17704063)
  (phony-read #o17704064)
  (phony-read #o17704065)
  (phony-read #o17704066)
  (phony-read #o17704067)
  (phony-read #o17704070)
  (phony-read #o17704071)
  (phony-read #o17704072)
  (phony-read #o17704073)
  (phony-read #o17704074)
  (phony-read #o17704075)
  (phony-read #o17704076)
  (phony-read #o17704077)
  (phony-read #o17704100)
  (phony-read #o17704101)
  (phony-read #o17704102)
  (phony-read #o17704103)
  (phony-read #o17704104)
  (phony-read #o17704105)
  (phony-read #o17704106)
  (phony-read #o17704107)
  (phony-read #o17704110)
  (phony-read #o17704111)
  (phony-read #o17704112)
  (phony-read #o17704113)
  (phony-read #o17704114)
  (phony-read #o17704115)
  (phony-read #o17704116)
  (phony-read #o17704117)
  (phony-read #o17704120)
  (phony-read #o17704121)
  (phony-read #o17704122)
  (phony-read #o17704123)
  (phony-read #o17704124)
  (phony-read #o17704125)
  (phony-read #o17704126)
  (phony-read #o17704127)
  (phony-read #o17704130)
  (phony-read #o17704131)
  (phony-read #o17704132)
  (phony-read #o17704133)
  (phony-read #o17704134)
  (phony-read #o17704135)
  (phony-read #o17704136)
  (phony-read #o17704137)
  (phony-read #o17704140)
  (phony-read #o17704141)
  (phony-read #o17704142)
  (phony-read #o17704143)
  (phony-read #o17704144)
  (phony-read #o17704145)
  (phony-read #o17704146)
  (phony-read #o17704147)
  (phony-read #o17704150)
  (phony-read #o17704151)
  (phony-read #o17704152)
  (phony-read #o17704153)
  (phony-read #o17704154)
  (phony-read #o17704155)
  (phony-read #o17704156)
  (phony-read #o17704157)
  (phony-read #o17704160)
  (phony-read #o17704161)
  (phony-read #o17704162)
  (phony-read #o17704163)
  (phony-read #o17704164)
  (phony-read #o17704165)
  (phony-read #o17704166)
  (phony-read #o17704167)
  (phony-read #o17704170)
  (phony-read #o17704171)
  (phony-read #o17704172)
  (phony-read #o17704173)
  (phony-read #o17704174)
  (phony-read #o17704175)
  (phony-read #o17704176)
  (phony-read #o17704177)
  (phony-read #o17704200)
  (phony-read #o17704201)
  (phony-read #o17704202)
  (phony-read #o17704203)
  (phony-read #o17704204)
  (phony-read #o17704205)
  (phony-read #o17704206)
  (phony-read #o17704207)
  (phony-read #o17704210)
  (phony-read #o17704211)
  (phony-read #o17704212)
  (phony-read #o17704213)
  (phony-read #o17704214)
  (phony-read #o17704215)
  (phony-read #o17704216)
  (phony-read #o17704217)
  (phony-read #o17704220)
  (phony-read #o17704221)
  (phony-read #o17704222)
  (phony-read #o17704223)
  (phony-read #o17704224)
  (phony-read #o17704225)
  (phony-read #o17704226)
  (phony-read #o17704227)
  (phony-read #o17704230)
  (phony-read #o17704231)
  (phony-read #o17704232)
  (phony-read #o17704233)
  (phony-read #o17704234)
  (phony-read #o17704235)
  (phony-read #o17704236)
  (phony-read #o17704237)
  (phony-read #o17704240)
  (phony-read #o17704241)
  (phony-read #o17704242)
  (phony-read #o17704243)
  (phony-read #o17704244)
  (phony-read #o17704245)
  (phony-read #o17704246)
  (phony-read #o17704247)
  (phony-read #o17704250)
  (phony-read #o17704251)
  (phony-read #o17704252)
  (phony-read #o17704253)
  (phony-read #o17704254)
  (phony-read #o17704255)
  (phony-read #o17704256)
  (phony-read #o17704257)
  (phony-read #o17704260)
  (phony-read #o17704261)
  (phony-read #o17704262)
  (phony-read #o17704263)
  (phony-read #o17704264)
  (phony-read #o17704265)
  (phony-read #o17704266)
  (phony-read #o17704267)
  (phony-read #o17704270)
  (phony-read #o17704271)
  (phony-read #o17704272)
  (phony-read #o17704273)
  (phony-read #o17704274)
  (phony-read #o17704275)
  (phony-read #o17704276)
  (phony-read #o17704277)
  (phony-read #o17704300)
  (phony-read #o17704301)
  (phony-read #o17704302)
  (phony-read #o17704303)
  (phony-read #o17704304)
  (phony-read #o17704305)
  (phony-read #o17704306)
  (phony-read #o17704307)
  (phony-read #o17704310)
  (phony-read #o17704311)
  (phony-read #o17704312)
  (phony-read #o17704313)
  (phony-read #o17704314)
  (phony-read #o17704315)
  (phony-read #o17704316)
  (phony-read #o17704317)
  (phony-read #o17704320)
  (phony-read #o17704321)
  (phony-read #o17704322)
  (phony-read #o17704323)
  (phony-read #o17704324)
  (phony-read #o17704325)
  (phony-read #o17704326)
  (phony-read #o17704327)
  (phony-read #o17704330)
  (phony-read #o17704331)
  (phony-read #o17704332)
  (phony-read #o17704333)
  (phony-read #o17704334)
  (phony-read #o17704335)
  (phony-read #o17704336)
  (phony-read #o17704337)
  (phony-read #o17704340)
  (phony-read #o17704341)
  (phony-read #o17704342)
  (phony-read #o17704343)
  (phony-read #o17704344)
  (phony-read #o17704345)
  (phony-read #o17704346)
  (phony-read #o17704347)
  (phony-read #o17704350)
  (phony-read #o17704351)
  (phony-read #o17704352)
  (phony-read #o17704353)
  (phony-read #o17704354)
  (phony-read #o17704355)
  (phony-read #o17704356)
  (phony-read #o17704357)
  (phony-read #o17704360)
  (phony-read #o17704361)
  (phony-read #o17704362)
  (phony-read #o17704363)
  (phony-read #o17704364)
  (phony-read #o17704365)
  (phony-read #o17704366)
  (phony-read #o17704367)
  NIL
)