build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-m8pm1C/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 �% T h i n g �% S h e l l �% I n t e g e r S e c t i o n # �B O O T �A S T A C K ; # ; $ N n i ; 1 # # �/ t m p / o a - m 8 p m 1 C / c o d e . l s p o 0 8 �% B o o l e a n �A S T A C K ; = ; 2 $ B ; 2 # #0 8 �A S T A C K ; c o p y ; 2 $ ; 3 # #0 8�A S T A C K ; c o e r c e ; $ O f ; 4 # #0 8 �A S T A C K ; d e p t h ; $ N n i ; 5 # #0 8 �A S T A C K ; e m p t y ? ; $ B ; 6 # #0 8�A S T A C K ; e x t r a c t ! ; $ S ; 7 # #0 8 �A S T A C K ; i n s e r t ! ; S 2 $ ; 8 # #0 8(�A S T A C K ; p u s h ! ; S $ S ; 9 # #0 8�A S T A C K ; p o p ! ; $ S ; 1 0 # # 0 8�A S T A C K ; t o p ; $ S ; 1 1 # # 0 8�% L i s t P* �A S T A C K ; a r r a y S t a c k ; L $ ; 1 2 # #0 8 �A S T A C K ; e m p t y ; $ ; 1 3 # #0 8�S B - I M P L �B% D E F U N >D # "2 #LTS 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 #l"� "9 #uDE# #$"� #$" \ J0 \ s 0 � I1 �EH���� H�e�H�ύA��� �y���� H��H�U�H�}�I�L$`H�M�H�E�H�H�H�U� H9��� H�M�H�\�H�]��C���� H��H�P�H��H�l$H�l$� �%X H��H�]�H�{H�\$�H��H�U� H�+H���P�rH��R� � H��H��H)�H��H�S�H�{�H�s�H��H��u H�V�H���]ø ���� *�� ��� /��TA B S O L U T E � R E T U R N - M U L T I P L E �, T�s �$ P S I M P L E - V E C T O R PV A L U E S P U N S I G N E D - B Y T E P&