--- /dev/null
+.comp 920 00011101001
+.start __semantic_functions_Start
+.depend "StdReal" "20111221123336"
+.depend "StdChar" "20111221123336"
+.depend "StdBool" "20111221123336"
+.depend "StdClass" "20111221123336"
+.depend "StdList" "20111221123336"
+.depend "StdOverloaded" "20111221123336"
+.depend "StdInt" "20111221123336"
+.depend "semantic_functions" "20140530152128"
+.module m_semantic_functions "semantic_functions" "20140530175504"
+.endinfo
+.implab _cycle_in_spine
+.implab _type_error
+.implab _hnf
+.impdesc _ind
+.implab _indirection _eaind
+.impdesc e_system_dif
+.implab e_system_nif e_system_eaif
+.implab e_system_sif
+.impdesc e_system_dAP
+.implab e_system_nAP e_system_eaAP
+.implab e_system_sAP
+.impdesc _Nil
+.impdesc _Cons
+.impdesc _Conss
+.implab n_Conss ea_Conss
+.impdesc _Consts
+.implab n_Consts ea_Consts
+.impdesc _Conssts
+.implab n_Conssts ea_Conssts
+.impdesc _Tuple
+.impdesc d_S.1
+.implab n_S.1 ea_S.1
+.impdesc d_S.2
+.implab n_S.2 ea_S.2
+.impdesc d_S.3
+.implab n_S.3 ea_S.3
+.impdesc d_S.4
+.implab n_S.4 ea_S.4
+.impdesc d_S.5
+.implab n_S.5 ea_S.5
+.impdesc d_S.6
+.implab n_S.6 ea_S.6
+.implab _driver
+.implab e_StdBool_snot
+.impdesc e_StdList_d++
+.implab e_StdList_s++
+.implab e_StdList_n++ e_StdList_ea++
+.implab e_StdList_slength;47
+.implab e_StdInt_s+;6
+.impdesc e_StdInt_d-;7
+.implab e_StdInt_s-;7
+.implab e_StdInt_n-;7
+.impdesc e_StdInt_d*;9
+.implab e_StdInt_n*;9
+.implab e_StdInt_s==;16
+.implab e_StdInt_s<;17
+.export __semantic_functions_Start
+.o 0 0
+__semantic_functions_Start
+ build _ 0 n20
+.d 1 0
+ jmp _driver
+.n 0 _ ea20
+.o 1 0
+n20
+ push_node _cycle_in_spine 0
+.o 1 0
+ea20
+.o 1 0
+s20
+.d 1 0
+ jmp s25
+.o 1 0
+s25
+ create
+.d 1 0
+ jsr s26
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s11
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s12
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s11
+.o 1 0
+.d 2 0
+ jmp s3
+.o 1 0
+s26
+ create
+.d 1 0
+ jsr s27
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 4
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s7
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s3
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s3
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+.d 2 0
+ jmp s1
+.o 1 0
+s27
+ create
+.d 1 0
+ jsr s28
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s11
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s12
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s11
+.o 1 0
+.d 2 0
+ jmp s3
+.o 1 0
+s28
+ create
+.d 1 0
+ jsr s29
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 4
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s7
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s3
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s3
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+.d 2 0
+ jmp s1
+.o 1 0
+s29
+ create
+.d 1 0
+ jsr s30
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s11
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s12
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s11
+.o 1 0
+.d 2 0
+ jmp s3
+.o 1 0
+s30
+ create
+.d 1 0
+ jsr s31
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 4
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s7
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s3
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s3
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+.d 2 0
+ jmp s1
+.o 1 0
+s31
+ create
+.d 1 0
+ jsr s32
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s11
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s12
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s11
+.o 1 0
+.d 2 0
+ jmp s3
+.o 1 0
+s32
+ buildh _Nil 0
+ buildI 5
+ buildh _Cons 2
+ buildI 1
+ buildh _Cons 2
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 4
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s7
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s3
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s10
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s6
+.o 1 0
+ create
+ buildI 3
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s1
+.o 1 0
+ create
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+.d 2 0
+ jsr s3
+.o 1 0
+ create
+ buildI 2
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+ create
+ buildI 1
+ push_a 2
+ update_a 2 3
+ update_a 0 2
+ pop_a 1
+.d 3 0
+ jsr s4
+.o 1 0
+.d 2 0
+ jmp s1
+.o 2 0
+s12
+ eq_desc _Nil 0 0
+ jmp_true case.1
+ jmp case.2
+case.1
+ fillh _Nil 0 1
+ pop_a 1
+.d 1 0
+ rtn
+case.2
+ repl_args 2 2
+ jsr_eval 1
+ eq_desc _Nil 0 1
+ jmp_true case.3
+ jmp case.4
+case.3
+ buildh _Nil 0
+ push_a 1
+ fillh _Cons 2 4
+ pop_a 2
+.d 1 0
+ rtn
+case.4
+ push_args 1 2 2
+ buildh _Nil 0
+ update_a 0 4
+ pop_a 1
+ push_a 0
+ jsr_eval 0
+ pushI_a 1
+ pop_a 1
+ push_a 2
+ jsr_eval 0
+ pushI_a 3
+ pop_a 1
+ ltI
+ notB
+ jmp_false else.5
+ push_a 1
+ buildI 0
+ fillh _Cons 2 6
+ pop_a 4
+.d 1 0
+ rtn
+else.5
+ push_a 1
+ buildI 1
+ fillh _Cons 2 6
+ pop_a 4
+.d 1 0
+ rtn
+.o 2 0
+s11
+ eq_desc _Nil 0 0
+ jmp_true case.6
+ jmp case.7
+case.6
+ fillh _Nil 0 1
+ pop_a 1
+.d 1 0
+ rtn
+case.7
+ repl_args 2 2
+ jsr_eval 0
+ eqI_a 0 0
+ jmp_true case.8
+ jmp case.9
+case.8
+ push_a 1
+ buildI 1
+ fillh _Cons 2 4
+ pop_a 2
+.d 1 0
+ rtn
+case.9
+ push_a 1
+ buildI 0
+ fillh _Cons 2 4
+ pop_a 2
+.d 1 0
+ rtn
+.o 2 0
+s10
+ eq_desc _Nil 0 0
+ jmp_true case.10
+ jmp case.11
+case.10
+ fillh _Nil 0 1
+ pop_a 1
+.d 1 0
+ rtn
+case.11
+ repl_args 2 2
+ push_a 1
+ push_a 1
+ buildh _Cons 2
+ push_a 1
+ fillh _Cons 2 4
+ pop_a 2
+.d 1 0
+ rtn
+.o 2 0
+s7
+ eq_desc _Nil 0 0
+ jmp_true case.12
+ jmp case.13
+case.12
+ fillh _Nil 0 1
+ pop_a 1
+.d 1 0
+ rtn
+case.13
+ repl_args 2 2
+ jsr_eval 1
+ eq_desc _Nil 0 1
+ jmp_true case.14
+ jmp case.15
+case.14
+ buildh _Nil 0
+ push_a 1
+ fillh _Cons 2 4
+ pop_a 2
+.d 1 0
+ rtn
+case.15
+ push_args 1 2 2
+ buildh _Nil 0
+ update_a 0 4
+ pop_a 1
+ push_a 2
+ push_a 1
+ build _ 2 e_StdInt_n*;9
+ push_a 2
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+ fillh _Cons 2 6
+ pop_a 4
+.d 1 0
+ rtn
+.o 2 0
+s6
+ eq_desc _Nil 0 0
+ jmp_true case.16
+ jmp case.17
+case.16
+ fillh _Nil 0 1
+ pop_a 1
+.d 1 0
+ rtn
+case.17
+ repl_args 2 2
+ jsr_eval 1
+ eq_desc _Nil 0 1
+ jmp_true case.18
+ jmp case.19
+case.18
+ buildh _Nil 0
+ push_a 1
+ fillh _Cons 2 4
+ pop_a 2
+.d 1 0
+ rtn
+case.19
+ push_args 1 2 2
+ buildh _Nil 0
+ update_a 0 4
+ pop_a 1
+ push_a 2
+ push_a 1
+ build _ 2 e_StdInt_n-;7
+ push_a 2
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+ fillh _Cons 2 6
+ pop_a 4
+.d 1 0
+ rtn
+.o 3 0
+s4
+ eq_desc _Nil 0 1
+ jmp_true case.20
+ jmp case.21
+case.20
+ buildh _Nil 0
+ push_a 1
+ fillh _Cons 2 4
+ pop_a 2
+.d 1 0
+ rtn
+case.21
+ buildh _Nil 0
+ push_a 1
+ buildh _Cons 2
+ push_a 2
+ push_a 1
+ update_a 1 2
+ update_a 0 1
+ pop_a 1
+ update_a 1 3
+ updatepop_a 0 2
+.d 3 0
+ jmp e_StdList_s++
+.o 2 0
+s3
+ eq_desc _Nil 0 0
+ jmp_true case.22
+ jmp case.23
+case.22
+ fillh _Nil 0 1
+ pop_a 1
+.d 1 0
+ rtn
+case.23
+ repl_args 2 2
+ pop_a 1
+ jmp_eval_upd
+.export e_semantic_functions_sroll
+.export e_semantic_functions_earoll
+.descexp e_semantic_functions_droll e_semantic_functions_nroll e_semantic_functions_lroll 1 0 "roll"
+.o 2 0
+e_semantic_functions_lroll
+ update_a 1 0
+ create
+ update_a 0 2
+ pop_a 1
+.d 2 0
+ jmp e_semantic_functions_earoll
+.n 1 e_semantic_functions_droll e_semantic_functions_earoll
+.o 1 0
+e_semantic_functions_nroll
+ push_node _cycle_in_spine 1
+.o 2 0
+e_semantic_functions_sroll
+.o 2 0
+e_semantic_functions_earoll
+ jsr_eval 0
+.o 2 0
+s1
+ eq_desc _Nil 0 0
+ jmp_true case.24
+ jmp case.25
+case.24
+ fillh _Nil 0 1
+ pop_a 1
+.d 1 0
+ rtn
+case.25
+ repl_args 2 2
+ jsr_eval 1
+ eq_desc _Nil 0 1
+ jmp_true case.26
+ jmp case.27
+case.26
+ buildh _Nil 0
+ push_a 1
+ fillh _Cons 2 4
+ pop_a 2
+.d 1 0
+ rtn
+case.27
+ push_args 1 2 2
+ buildh _Nil 0
+ update_a 0 4
+ pop_a 1
+ push_a 0
+ jsr_eval 0
+ pushI_a 1
+ pop_a 1
+ push_a 2
+ jsr_eval 0
+ pushI_a 3
+ pop_a 1
+.d 0 2 ii
+ jsr s15
+.o 0 1 i
+ pushI 0
+ push_b 1
+ update_b 1 2
+ update_b 0 1
+ pop_b 1
+ eqI
+ jmp_false else.28
+ updatepop_a 1 3
+ jmp_eval_upd
+else.28
+ pushI_a 0
+ pushI 0
+ ltI
+ notB
+ jmp_false else.29
+ updatepop_a 1 3
+ jmp_eval_upd
+else.29
+ push_a 1
+ jsr_eval 0
+.d 1 0
+ jsr e_StdList_slength;47
+.o 0 1 i
+ pushI_a 0
+ push_b 1
+ update_b 1 2
+ update_b 0 1
+ pop_b 1
+ ltI
+ jmp_false else.30
+ fill_a 1 4
+ pop_a 4
+.d 1 0
+ rtn
+else.30
+ pushI 1
+ pushI_a 2
+ eqI
+ jmp_false else.31
+ push_a 1
+ push_a 1
+ buildh _Cons 2
+ updatepop_a 0 4
+.d 2 0
+ jmp s2
+else.31
+ pushI_a 2
+ pushI 0
+ ltI
+ jmp_false else.32
+ push_a 1
+ push_a 1
+ buildh _Cons 2
+ build e_semantic_functions_droll1 1 e_semantic_functions_nroll1
+ buildh _Nil 0
+ push_a 2
+ buildh _Cons 2
+ build e_StdList_d++ 2 e_StdList_n++
+ buildh _Nil 0
+ buildI 1
+ push_a 5
+ build _ 2 e_StdInt_n-;7
+ buildh _Cons 2
+ create
+ push_a 2
+ update_a 1 3
+ update_a 2 1
+ update_a 0 2
+ pop_a 1
+ update_a 2 6
+ update_a 1 5
+ updatepop_a 0 4
+.d 3 0
+ jsr e_StdList_s++
+.o 1 0
+.d 2 0
+ jmp s1
+else.32
+ pushI 0
+ pushI_a 2
+ ltI
+ jmp_false else.33
+ push_a 1
+ push_a 1
+ buildh _Cons 2
+ buildh _Nil 0
+ push_a 2
+ push_a 5
+ build _ 2 n15
+ buildh _Cons 2
+ create
+ push_a 2
+ update_a 1 3
+ update_a 2 1
+ update_a 0 2
+ pop_a 1
+ update_a 2 6
+ update_a 1 5
+ updatepop_a 0 4
+.d 3 0
+ jsr e_StdList_s++
+.o 1 0
+.d 2 0
+ jmp s1
+else.33
+ pop_a 3
+ jmp s1.1
+s1.1
+ pop_a 2
+ pushD m_semantic_functions
+ pushD e_semantic_functions_droll
+.d 0 2 ii
+ jmp _match_error
+.export e_semantic_functions_sroll1
+.export e_semantic_functions_earoll1
+.descexp e_semantic_functions_droll1 e_semantic_functions_nroll1 e_semantic_functions_lroll1 1 0 "roll1"
+.o 2 0
+e_semantic_functions_lroll1
+ update_a 1 0
+ create
+ update_a 0 2
+ pop_a 1
+.d 2 0
+ jmp e_semantic_functions_earoll1
+.n 1 e_semantic_functions_droll1 e_semantic_functions_earoll1
+.o 1 0
+e_semantic_functions_nroll1
+ push_node _cycle_in_spine 1
+.o 2 0
+e_semantic_functions_sroll1
+.o 2 0
+e_semantic_functions_earoll1
+ jsr_eval 0
+.o 2 0
+s2
+ eq_desc _Cons 2 0
+ jmp_true case.34
+ jmp s2.1
+case.34
+ repl_args 2 2
+ jsr_eval 0
+ eqI_a 1 0
+ jmp_true case.35
+ jmp case.36
+case.35
+ pop_a 1
+ jmp_eval_upd
+case.36
+ jsr_eval 1
+ eq_desc _Cons 2 1
+ jmp_true case.37
+ pop_a 1
+ jmp s2.1
+case.37
+ push_args 1 2 2
+ buildh _Nil 0
+ update_a 0 4
+ pop_a 1
+ jsr_eval 1
+ eq_desc _Cons 2 1
+ jmp_true case.38
+ pop_a 3
+ jmp s2.1
+case.38
+ push_args 1 2 2
+ buildh _Nil 0
+ update_a 0 4
+ pop_a 1
+ push_a 1
+ push_a 3
+ buildh _Cons 2
+ buildI 1
+ push_a 6
+ build _ 2 e_StdInt_n-;7
+ buildh _Cons 2
+ build e_semantic_functions_droll1 1 e_semantic_functions_nroll1
+ buildh _Nil 0
+ push_a 2
+ buildh _Cons 2
+ update_a 1 7
+ updatepop_a 0 6
+.d 3 0
+ jmp e_StdList_s++
+s2.1
+ pop_a 2
+ pushD m_semantic_functions
+ pushD e_semantic_functions_droll1
+.d 0 2 ii
+ jmp _match_error
+.n 2 _
+.o 1 0
+n15
+ push_node _cycle_in_spine 2
+.d 2 0
+ jsr ea15
+.o 0 1 i
+ fillI_b 0 0
+ pop_b 1
+.d 1 0
+ rtn
+.o 2 0
+ea15
+ jsr_eval 1
+ jsr_eval 0
+ pushI_a 1
+ pushI_a 0
+ pop_a 2
+.o 0 2 ii
+s15
+ pushI 0
+ push_b 1
+ ltI
+ jmp_false else.39
+ push_b 1
+ push_b 1
+ addI
+ push_b 2
+ push_b 1
+ update_b 1 2
+ update_b 0 1
+ pop_b 1
+ update_b 1 3
+ updatepop_b 0 2
+.d 0 2 ii
+ jmp s15
+else.39
+ push_b 1
+ push_b 1
+ ltI
+ jmp_false else.40
+ update_b 0 1
+ pop_b 1
+.d 0 1 i
+ rtn
+else.40
+ push_b 1
+ push_b 1
+ subI
+ push_b 2
+ push_b 1
+ update_b 1 2
+ update_b 0 1
+ pop_b 1
+ update_b 1 3
+ updatepop_b 0 2
+.d 0 2 ii
+ jmp s15
repositories / sec1415.git / blobdiff