build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-k7JT1W/code.lsp" using SBCL version 1.2.14.debian � X86-64N 1.2.14.debian2 (:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�S B - C � % P R O C L A I M PF T Y P E PF U N C T I O N � A x i o m C o r e �% S h e l l �% T h i n g �B O O T � A L I S T ; d i c t i o n a r y ; $ ; 1 # # �/ t m p / o a - k 7 J T 1 W / c o d e . l s p o 0 8� P U T � S P A D r e p l a c e � X L A M � % l i s t � % n i l 8�% L i s t �% P a i r � A L I S T ; d i c t i o n a r y ; L $ ; 2 # # 0 88� A L I S T ; e m p t y ; $ ; 3 # # 0 88 �% B o o l e a n � A L I S T ; e m p t y ? ; $ B ; 4 # # 0 8%� t � % l e m p t y ? � % h e a d ( 8" � A L I S T ; e n t r i e s ; $ L ; 5 # # 0 80+8/� A L I S T ; m e m b e r s ; $ L ; 6 # # 0 83+8"P* � A L I S T ; k e y s ; $ L ; 7 # # 0 8"�% I n t e g e r S e c t i o n # � A L I S T ; # ; $ N n i ; 8 # # 0 8?)� % l l e n g t h , 8" � A L I S T ; f i r s t ; $ R ; 9 # # 0 8F)� S P A D f i r s t , 8" � A L I S T ; r e s t ; 2 $ ; 1 0 # # 0 8M)� % t a i l , 8 � A L I S T ; c o n c a t ; R 2 $ ; 1 1 # # 0 8V� p ( � % p a i r Y, 8 � A L I S T ; s e t r e s t ! ; 3 $ ; 1 2 # # 0 8 � A L I S T ; s e t f i r s t ! ; $ 2 R ; 1 3 # # 0 8"�% I n t e g e r � A L I S T ; m i n I n d e x ; $ I ; 1 4 # # 0 8k� a # 8j� A L I S T ; m a x I n d e x ; $ I ; 1 5 # # 0 8_�% S h o r t � A L I S T ; s e a r c h ; K e y $ U ; 1 6 # # 0 8"�% S t r i n g � A L I S T ; l a t e x ; $ S ; 1 7 # # 0 8`� A L I S T ; a s s o c ; K e y $ M ; 1 8 # # 0 8 � A L I S T ; s e t e l t ; $ K e y 2 E n t r y ; 1 9 # # 0 8v� A L I S T ; r e m o v e ! ; K e y $ U ; 2 0 # # 0 8�S B - I M P L ��% D E F U N >� # "� #ETS T A N D A R D TM I N I M A L ##`#$" \ TE X T E R N A L � T L - X E P q 0 #["� "� #d��##`\ �0 \ s 0 � �1 �EH��ucH�e��B�u�z��u�� *�I�L$`H�M�I�l$@M�\$I�KI;L$ w-I�L$I�KI1l$@t� H�A� H�A H��H���]��j� ��Y����TA B S O L U T E �alloc_tramp� � � $ P S I M P L E - V E C T O R PV A L U E S PC O N S P &