aanpassing semantiek & analyse
[sec1415.git] / Clean System Files / semantic_functions.abc
1 .comp 920 00011101001
2 .start __semantic_functions_Start
3 .depend "StdReal" "20111221123336"
4 .depend "StdChar" "20111221123336"
5 .depend "StdBool" "20111221123336"
6 .depend "StdClass" "20111221123336"
7 .depend "StdList" "20111221123336"
8 .depend "StdOverloaded" "20111221123336"
9 .depend "StdInt" "20111221123336"
10 .depend "semantic_functions" "20140530152128"
11 .module m_semantic_functions "semantic_functions" "20140530175504"
12 .endinfo
13 .implab _cycle_in_spine
14 .implab _type_error
15 .implab _hnf
16 .impdesc _ind
17 .implab _indirection _eaind
18 .impdesc e_system_dif
19 .implab e_system_nif e_system_eaif
20 .implab e_system_sif
21 .impdesc e_system_dAP
22 .implab e_system_nAP e_system_eaAP
23 .implab e_system_sAP
24 .impdesc _Nil
25 .impdesc _Cons
26 .impdesc _Conss
27 .implab n_Conss ea_Conss
28 .impdesc _Consts
29 .implab n_Consts ea_Consts
30 .impdesc _Conssts
31 .implab n_Conssts ea_Conssts
32 .impdesc _Tuple
33 .impdesc d_S.1
34 .implab n_S.1 ea_S.1
35 .impdesc d_S.2
36 .implab n_S.2 ea_S.2
37 .impdesc d_S.3
38 .implab n_S.3 ea_S.3
39 .impdesc d_S.4
40 .implab n_S.4 ea_S.4
41 .impdesc d_S.5
42 .implab n_S.5 ea_S.5
43 .impdesc d_S.6
44 .implab n_S.6 ea_S.6
45 .implab _driver
46 .implab e_StdBool_snot
47 .impdesc e_StdList_d++
48 .implab e_StdList_s++
49 .implab e_StdList_n++ e_StdList_ea++
50 .implab e_StdList_slength;47
51 .implab e_StdInt_s+;6
52 .impdesc e_StdInt_d-;7
53 .implab e_StdInt_s-;7
54 .implab e_StdInt_n-;7
55 .impdesc e_StdInt_d*;9
56 .implab e_StdInt_n*;9
57 .implab e_StdInt_s==;16
58 .implab e_StdInt_s<;17
59 .export __semantic_functions_Start
60 .o 0 0
61 __semantic_functions_Start
62 build _ 0 n20
63 .d 1 0
64 jmp _driver
65 .n 0 _ ea20
66 .o 1 0
67 n20
68 push_node _cycle_in_spine 0
69 .o 1 0
70 ea20
71 .o 1 0
72 s20
73 .d 1 0
74 jmp s25
75 .o 1 0
76 s25
77 create
78 .d 1 0
79 jsr s26
80 .o 1 0
81 create
82 buildI 2
83 push_a 2
84 update_a 2 3
85 update_a 0 2
86 pop_a 1
87 .d 3 0
88 jsr s4
89 .o 1 0
90 create
91 buildI 1
92 push_a 2
93 update_a 2 3
94 update_a 0 2
95 pop_a 1
96 .d 3 0
97 jsr s4
98 .o 1 0
99 create
100 push_a 1
101 update_a 1 2
102 update_a 0 1
103 pop_a 1
104 .d 2 0
105 jsr s1
106 .o 1 0
107 create
108 push_a 1
109 update_a 1 2
110 update_a 0 1
111 pop_a 1
112 .d 2 0
113 jsr s10
114 .o 1 0
115 create
116 buildI 3
117 push_a 2
118 update_a 2 3
119 update_a 0 2
120 pop_a 1
121 .d 3 0
122 jsr s4
123 .o 1 0
124 create
125 buildI 1
126 push_a 2
127 update_a 2 3
128 update_a 0 2
129 pop_a 1
130 .d 3 0
131 jsr s4
132 .o 1 0
133 create
134 push_a 1
135 update_a 1 2
136 update_a 0 1
137 pop_a 1
138 .d 2 0
139 jsr s1
140 .o 1 0
141 create
142 buildI 1
143 push_a 2
144 update_a 2 3
145 update_a 0 2
146 pop_a 1
147 .d 3 0
148 jsr s4
149 .o 1 0
150 create
151 push_a 1
152 update_a 1 2
153 update_a 0 1
154 pop_a 1
155 .d 2 0
156 jsr s6
157 .o 1 0
158 create
159 push_a 1
160 update_a 1 2
161 update_a 0 1
162 pop_a 1
163 .d 2 0
164 jsr s11
165 .o 1 0
166 create
167 buildI 1
168 push_a 2
169 update_a 2 3
170 update_a 0 2
171 pop_a 1
172 .d 3 0
173 jsr s4
174 .o 1 0
175 create
176 buildI 1
177 push_a 2
178 update_a 2 3
179 update_a 0 2
180 pop_a 1
181 .d 3 0
182 jsr s4
183 .o 1 0
184 create
185 push_a 1
186 update_a 1 2
187 update_a 0 1
188 pop_a 1
189 .d 2 0
190 jsr s6
191 .o 1 0
192 create
193 push_a 1
194 update_a 1 2
195 update_a 0 1
196 pop_a 1
197 .d 2 0
198 jsr s12
199 .o 1 0
200 create
201 push_a 1
202 update_a 1 2
203 update_a 0 1
204 pop_a 1
205 .d 2 0
206 jsr s11
207 .o 1 0
208 .d 2 0
209 jmp s3
210 .o 1 0
211 s26
212 create
213 .d 1 0
214 jsr s27
215 .o 1 0
216 create
217 push_a 1
218 update_a 1 2
219 update_a 0 1
220 pop_a 1
221 .d 2 0
222 jsr s10
223 .o 1 0
224 create
225 buildI 3
226 push_a 2
227 update_a 2 3
228 update_a 0 2
229 pop_a 1
230 .d 3 0
231 jsr s4
232 .o 1 0
233 create
234 buildI 2
235 push_a 2
236 update_a 2 3
237 update_a 0 2
238 pop_a 1
239 .d 3 0
240 jsr s4
241 .o 1 0
242 create
243 push_a 1
244 update_a 1 2
245 update_a 0 1
246 pop_a 1
247 .d 2 0
248 jsr s1
249 .o 1 0
250 create
251 push_a 1
252 update_a 1 2
253 update_a 0 1
254 pop_a 1
255 .d 2 0
256 jsr s10
257 .o 1 0
258 create
259 buildI 4
260 push_a 2
261 update_a 2 3
262 update_a 0 2
263 pop_a 1
264 .d 3 0
265 jsr s4
266 .o 1 0
267 create
268 buildI 1
269 push_a 2
270 update_a 2 3
271 update_a 0 2
272 pop_a 1
273 .d 3 0
274 jsr s4
275 .o 1 0
276 create
277 push_a 1
278 update_a 1 2
279 update_a 0 1
280 pop_a 1
281 .d 2 0
282 jsr s1
283 .o 1 0
284 create
285 push_a 1
286 update_a 1 2
287 update_a 0 1
288 pop_a 1
289 .d 2 0
290 jsr s7
291 .o 1 0
292 create
293 buildI 2
294 push_a 2
295 update_a 2 3
296 update_a 0 2
297 pop_a 1
298 .d 3 0
299 jsr s4
300 .o 1 0
301 create
302 buildI 1
303 push_a 2
304 update_a 2 3
305 update_a 0 2
306 pop_a 1
307 .d 3 0
308 jsr s4
309 .o 1 0
310 create
311 push_a 1
312 update_a 1 2
313 update_a 0 1
314 pop_a 1
315 .d 2 0
316 jsr s1
317 .o 1 0
318 create
319 push_a 1
320 update_a 1 2
321 update_a 0 1
322 pop_a 1
323 .d 2 0
324 jsr s3
325 .o 1 0
326 create
327 buildI 2
328 push_a 2
329 update_a 2 3
330 update_a 0 2
331 pop_a 1
332 .d 3 0
333 jsr s4
334 .o 1 0
335 create
336 buildI 1
337 push_a 2
338 update_a 2 3
339 update_a 0 2
340 pop_a 1
341 .d 3 0
342 jsr s4
343 .o 1 0
344 create
345 push_a 1
346 update_a 1 2
347 update_a 0 1
348 pop_a 1
349 .d 2 0
350 jsr s1
351 .o 1 0
352 create
353 push_a 1
354 update_a 1 2
355 update_a 0 1
356 pop_a 1
357 .d 2 0
358 jsr s10
359 .o 1 0
360 create
361 buildI 3
362 push_a 2
363 update_a 2 3
364 update_a 0 2
365 pop_a 1
366 .d 3 0
367 jsr s4
368 .o 1 0
369 create
370 buildI 1
371 push_a 2
372 update_a 2 3
373 update_a 0 2
374 pop_a 1
375 .d 3 0
376 jsr s4
377 .o 1 0
378 create
379 push_a 1
380 update_a 1 2
381 update_a 0 1
382 pop_a 1
383 .d 2 0
384 jsr s1
385 .o 1 0
386 create
387 buildI 1
388 push_a 2
389 update_a 2 3
390 update_a 0 2
391 pop_a 1
392 .d 3 0
393 jsr s4
394 .o 1 0
395 create
396 push_a 1
397 update_a 1 2
398 update_a 0 1
399 pop_a 1
400 .d 2 0
401 jsr s6
402 .o 1 0
403 create
404 buildI 3
405 push_a 2
406 update_a 2 3
407 update_a 0 2
408 pop_a 1
409 .d 3 0
410 jsr s4
411 .o 1 0
412 create
413 buildI 2
414 push_a 2
415 update_a 2 3
416 update_a 0 2
417 pop_a 1
418 .d 3 0
419 jsr s4
420 .o 1 0
421 create
422 push_a 1
423 update_a 1 2
424 update_a 0 1
425 pop_a 1
426 .d 2 0
427 jsr s1
428 .o 1 0
429 create
430 push_a 1
431 update_a 1 2
432 update_a 0 1
433 pop_a 1
434 .d 2 0
435 jsr s3
436 .o 1 0
437 create
438 buildI 2
439 push_a 2
440 update_a 2 3
441 update_a 0 2
442 pop_a 1
443 .d 3 0
444 jsr s4
445 .o 1 0
446 create
447 buildI 1
448 push_a 2
449 update_a 2 3
450 update_a 0 2
451 pop_a 1
452 .d 3 0
453 jsr s4
454 .o 1 0
455 .d 2 0
456 jmp s1
457 .o 1 0
458 s27
459 create
460 .d 1 0
461 jsr s28
462 .o 1 0
463 create
464 buildI 2
465 push_a 2
466 update_a 2 3
467 update_a 0 2
468 pop_a 1
469 .d 3 0
470 jsr s4
471 .o 1 0
472 create
473 buildI 1
474 push_a 2
475 update_a 2 3
476 update_a 0 2
477 pop_a 1
478 .d 3 0
479 jsr s4
480 .o 1 0
481 create
482 push_a 1
483 update_a 1 2
484 update_a 0 1
485 pop_a 1
486 .d 2 0
487 jsr s1
488 .o 1 0
489 create
490 push_a 1
491 update_a 1 2
492 update_a 0 1
493 pop_a 1
494 .d 2 0
495 jsr s10
496 .o 1 0
497 create
498 buildI 3
499 push_a 2
500 update_a 2 3
501 update_a 0 2
502 pop_a 1
503 .d 3 0
504 jsr s4
505 .o 1 0
506 create
507 buildI 1
508 push_a 2
509 update_a 2 3
510 update_a 0 2
511 pop_a 1
512 .d 3 0
513 jsr s4
514 .o 1 0
515 create
516 push_a 1
517 update_a 1 2
518 update_a 0 1
519 pop_a 1
520 .d 2 0
521 jsr s1
522 .o 1 0
523 create
524 buildI 1
525 push_a 2
526 update_a 2 3
527 update_a 0 2
528 pop_a 1
529 .d 3 0
530 jsr s4
531 .o 1 0
532 create
533 push_a 1
534 update_a 1 2
535 update_a 0 1
536 pop_a 1
537 .d 2 0
538 jsr s6
539 .o 1 0
540 create
541 push_a 1
542 update_a 1 2
543 update_a 0 1
544 pop_a 1
545 .d 2 0
546 jsr s11
547 .o 1 0
548 create
549 buildI 1
550 push_a 2
551 update_a 2 3
552 update_a 0 2
553 pop_a 1
554 .d 3 0
555 jsr s4
556 .o 1 0
557 create
558 buildI 1
559 push_a 2
560 update_a 2 3
561 update_a 0 2
562 pop_a 1
563 .d 3 0
564 jsr s4
565 .o 1 0
566 create
567 push_a 1
568 update_a 1 2
569 update_a 0 1
570 pop_a 1
571 .d 2 0
572 jsr s6
573 .o 1 0
574 create
575 push_a 1
576 update_a 1 2
577 update_a 0 1
578 pop_a 1
579 .d 2 0
580 jsr s12
581 .o 1 0
582 create
583 push_a 1
584 update_a 1 2
585 update_a 0 1
586 pop_a 1
587 .d 2 0
588 jsr s11
589 .o 1 0
590 .d 2 0
591 jmp s3
592 .o 1 0
593 s28
594 create
595 .d 1 0
596 jsr s29
597 .o 1 0
598 create
599 push_a 1
600 update_a 1 2
601 update_a 0 1
602 pop_a 1
603 .d 2 0
604 jsr s10
605 .o 1 0
606 create
607 buildI 3
608 push_a 2
609 update_a 2 3
610 update_a 0 2
611 pop_a 1
612 .d 3 0
613 jsr s4
614 .o 1 0
615 create
616 buildI 2
617 push_a 2
618 update_a 2 3
619 update_a 0 2
620 pop_a 1
621 .d 3 0
622 jsr s4
623 .o 1 0
624 create
625 push_a 1
626 update_a 1 2
627 update_a 0 1
628 pop_a 1
629 .d 2 0
630 jsr s1
631 .o 1 0
632 create
633 push_a 1
634 update_a 1 2
635 update_a 0 1
636 pop_a 1
637 .d 2 0
638 jsr s10
639 .o 1 0
640 create
641 buildI 4
642 push_a 2
643 update_a 2 3
644 update_a 0 2
645 pop_a 1
646 .d 3 0
647 jsr s4
648 .o 1 0
649 create
650 buildI 1
651 push_a 2
652 update_a 2 3
653 update_a 0 2
654 pop_a 1
655 .d 3 0
656 jsr s4
657 .o 1 0
658 create
659 push_a 1
660 update_a 1 2
661 update_a 0 1
662 pop_a 1
663 .d 2 0
664 jsr s1
665 .o 1 0
666 create
667 push_a 1
668 update_a 1 2
669 update_a 0 1
670 pop_a 1
671 .d 2 0
672 jsr s7
673 .o 1 0
674 create
675 buildI 2
676 push_a 2
677 update_a 2 3
678 update_a 0 2
679 pop_a 1
680 .d 3 0
681 jsr s4
682 .o 1 0
683 create
684 buildI 1
685 push_a 2
686 update_a 2 3
687 update_a 0 2
688 pop_a 1
689 .d 3 0
690 jsr s4
691 .o 1 0
692 create
693 push_a 1
694 update_a 1 2
695 update_a 0 1
696 pop_a 1
697 .d 2 0
698 jsr s1
699 .o 1 0
700 create
701 push_a 1
702 update_a 1 2
703 update_a 0 1
704 pop_a 1
705 .d 2 0
706 jsr s3
707 .o 1 0
708 create
709 buildI 2
710 push_a 2
711 update_a 2 3
712 update_a 0 2
713 pop_a 1
714 .d 3 0
715 jsr s4
716 .o 1 0
717 create
718 buildI 1
719 push_a 2
720 update_a 2 3
721 update_a 0 2
722 pop_a 1
723 .d 3 0
724 jsr s4
725 .o 1 0
726 create
727 push_a 1
728 update_a 1 2
729 update_a 0 1
730 pop_a 1
731 .d 2 0
732 jsr s1
733 .o 1 0
734 create
735 push_a 1
736 update_a 1 2
737 update_a 0 1
738 pop_a 1
739 .d 2 0
740 jsr s10
741 .o 1 0
742 create
743 buildI 3
744 push_a 2
745 update_a 2 3
746 update_a 0 2
747 pop_a 1
748 .d 3 0
749 jsr s4
750 .o 1 0
751 create
752 buildI 1
753 push_a 2
754 update_a 2 3
755 update_a 0 2
756 pop_a 1
757 .d 3 0
758 jsr s4
759 .o 1 0
760 create
761 push_a 1
762 update_a 1 2
763 update_a 0 1
764 pop_a 1
765 .d 2 0
766 jsr s1
767 .o 1 0
768 create
769 buildI 1
770 push_a 2
771 update_a 2 3
772 update_a 0 2
773 pop_a 1
774 .d 3 0
775 jsr s4
776 .o 1 0
777 create
778 push_a 1
779 update_a 1 2
780 update_a 0 1
781 pop_a 1
782 .d 2 0
783 jsr s6
784 .o 1 0
785 create
786 buildI 3
787 push_a 2
788 update_a 2 3
789 update_a 0 2
790 pop_a 1
791 .d 3 0
792 jsr s4
793 .o 1 0
794 create
795 buildI 2
796 push_a 2
797 update_a 2 3
798 update_a 0 2
799 pop_a 1
800 .d 3 0
801 jsr s4
802 .o 1 0
803 create
804 push_a 1
805 update_a 1 2
806 update_a 0 1
807 pop_a 1
808 .d 2 0
809 jsr s1
810 .o 1 0
811 create
812 push_a 1
813 update_a 1 2
814 update_a 0 1
815 pop_a 1
816 .d 2 0
817 jsr s3
818 .o 1 0
819 create
820 buildI 2
821 push_a 2
822 update_a 2 3
823 update_a 0 2
824 pop_a 1
825 .d 3 0
826 jsr s4
827 .o 1 0
828 create
829 buildI 1
830 push_a 2
831 update_a 2 3
832 update_a 0 2
833 pop_a 1
834 .d 3 0
835 jsr s4
836 .o 1 0
837 .d 2 0
838 jmp s1
839 .o 1 0
840 s29
841 create
842 .d 1 0
843 jsr s30
844 .o 1 0
845 create
846 buildI 2
847 push_a 2
848 update_a 2 3
849 update_a 0 2
850 pop_a 1
851 .d 3 0
852 jsr s4
853 .o 1 0
854 create
855 buildI 1
856 push_a 2
857 update_a 2 3
858 update_a 0 2
859 pop_a 1
860 .d 3 0
861 jsr s4
862 .o 1 0
863 create
864 push_a 1
865 update_a 1 2
866 update_a 0 1
867 pop_a 1
868 .d 2 0
869 jsr s1
870 .o 1 0
871 create
872 push_a 1
873 update_a 1 2
874 update_a 0 1
875 pop_a 1
876 .d 2 0
877 jsr s10
878 .o 1 0
879 create
880 buildI 3
881 push_a 2
882 update_a 2 3
883 update_a 0 2
884 pop_a 1
885 .d 3 0
886 jsr s4
887 .o 1 0
888 create
889 buildI 1
890 push_a 2
891 update_a 2 3
892 update_a 0 2
893 pop_a 1
894 .d 3 0
895 jsr s4
896 .o 1 0
897 create
898 push_a 1
899 update_a 1 2
900 update_a 0 1
901 pop_a 1
902 .d 2 0
903 jsr s1
904 .o 1 0
905 create
906 buildI 1
907 push_a 2
908 update_a 2 3
909 update_a 0 2
910 pop_a 1
911 .d 3 0
912 jsr s4
913 .o 1 0
914 create
915 push_a 1
916 update_a 1 2
917 update_a 0 1
918 pop_a 1
919 .d 2 0
920 jsr s6
921 .o 1 0
922 create
923 push_a 1
924 update_a 1 2
925 update_a 0 1
926 pop_a 1
927 .d 2 0
928 jsr s11
929 .o 1 0
930 create
931 buildI 1
932 push_a 2
933 update_a 2 3
934 update_a 0 2
935 pop_a 1
936 .d 3 0
937 jsr s4
938 .o 1 0
939 create
940 buildI 1
941 push_a 2
942 update_a 2 3
943 update_a 0 2
944 pop_a 1
945 .d 3 0
946 jsr s4
947 .o 1 0
948 create
949 push_a 1
950 update_a 1 2
951 update_a 0 1
952 pop_a 1
953 .d 2 0
954 jsr s6
955 .o 1 0
956 create
957 push_a 1
958 update_a 1 2
959 update_a 0 1
960 pop_a 1
961 .d 2 0
962 jsr s12
963 .o 1 0
964 create
965 push_a 1
966 update_a 1 2
967 update_a 0 1
968 pop_a 1
969 .d 2 0
970 jsr s11
971 .o 1 0
972 .d 2 0
973 jmp s3
974 .o 1 0
975 s30
976 create
977 .d 1 0
978 jsr s31
979 .o 1 0
980 create
981 push_a 1
982 update_a 1 2
983 update_a 0 1
984 pop_a 1
985 .d 2 0
986 jsr s10
987 .o 1 0
988 create
989 buildI 3
990 push_a 2
991 update_a 2 3
992 update_a 0 2
993 pop_a 1
994 .d 3 0
995 jsr s4
996 .o 1 0
997 create
998 buildI 2
999 push_a 2
1000 update_a 2 3
1001 update_a 0 2
1002 pop_a 1
1003 .d 3 0
1004 jsr s4
1005 .o 1 0
1006 create
1007 push_a 1
1008 update_a 1 2
1009 update_a 0 1
1010 pop_a 1
1011 .d 2 0
1012 jsr s1
1013 .o 1 0
1014 create
1015 push_a 1
1016 update_a 1 2
1017 update_a 0 1
1018 pop_a 1
1019 .d 2 0
1020 jsr s10
1021 .o 1 0
1022 create
1023 buildI 4
1024 push_a 2
1025 update_a 2 3
1026 update_a 0 2
1027 pop_a 1
1028 .d 3 0
1029 jsr s4
1030 .o 1 0
1031 create
1032 buildI 1
1033 push_a 2
1034 update_a 2 3
1035 update_a 0 2
1036 pop_a 1
1037 .d 3 0
1038 jsr s4
1039 .o 1 0
1040 create
1041 push_a 1
1042 update_a 1 2
1043 update_a 0 1
1044 pop_a 1
1045 .d 2 0
1046 jsr s1
1047 .o 1 0
1048 create
1049 push_a 1
1050 update_a 1 2
1051 update_a 0 1
1052 pop_a 1
1053 .d 2 0
1054 jsr s7
1055 .o 1 0
1056 create
1057 buildI 2
1058 push_a 2
1059 update_a 2 3
1060 update_a 0 2
1061 pop_a 1
1062 .d 3 0
1063 jsr s4
1064 .o 1 0
1065 create
1066 buildI 1
1067 push_a 2
1068 update_a 2 3
1069 update_a 0 2
1070 pop_a 1
1071 .d 3 0
1072 jsr s4
1073 .o 1 0
1074 create
1075 push_a 1
1076 update_a 1 2
1077 update_a 0 1
1078 pop_a 1
1079 .d 2 0
1080 jsr s1
1081 .o 1 0
1082 create
1083 push_a 1
1084 update_a 1 2
1085 update_a 0 1
1086 pop_a 1
1087 .d 2 0
1088 jsr s3
1089 .o 1 0
1090 create
1091 buildI 2
1092 push_a 2
1093 update_a 2 3
1094 update_a 0 2
1095 pop_a 1
1096 .d 3 0
1097 jsr s4
1098 .o 1 0
1099 create
1100 buildI 1
1101 push_a 2
1102 update_a 2 3
1103 update_a 0 2
1104 pop_a 1
1105 .d 3 0
1106 jsr s4
1107 .o 1 0
1108 create
1109 push_a 1
1110 update_a 1 2
1111 update_a 0 1
1112 pop_a 1
1113 .d 2 0
1114 jsr s1
1115 .o 1 0
1116 create
1117 push_a 1
1118 update_a 1 2
1119 update_a 0 1
1120 pop_a 1
1121 .d 2 0
1122 jsr s10
1123 .o 1 0
1124 create
1125 buildI 3
1126 push_a 2
1127 update_a 2 3
1128 update_a 0 2
1129 pop_a 1
1130 .d 3 0
1131 jsr s4
1132 .o 1 0
1133 create
1134 buildI 1
1135 push_a 2
1136 update_a 2 3
1137 update_a 0 2
1138 pop_a 1
1139 .d 3 0
1140 jsr s4
1141 .o 1 0
1142 create
1143 push_a 1
1144 update_a 1 2
1145 update_a 0 1
1146 pop_a 1
1147 .d 2 0
1148 jsr s1
1149 .o 1 0
1150 create
1151 buildI 1
1152 push_a 2
1153 update_a 2 3
1154 update_a 0 2
1155 pop_a 1
1156 .d 3 0
1157 jsr s4
1158 .o 1 0
1159 create
1160 push_a 1
1161 update_a 1 2
1162 update_a 0 1
1163 pop_a 1
1164 .d 2 0
1165 jsr s6
1166 .o 1 0
1167 create
1168 buildI 3
1169 push_a 2
1170 update_a 2 3
1171 update_a 0 2
1172 pop_a 1
1173 .d 3 0
1174 jsr s4
1175 .o 1 0
1176 create
1177 buildI 2
1178 push_a 2
1179 update_a 2 3
1180 update_a 0 2
1181 pop_a 1
1182 .d 3 0
1183 jsr s4
1184 .o 1 0
1185 create
1186 push_a 1
1187 update_a 1 2
1188 update_a 0 1
1189 pop_a 1
1190 .d 2 0
1191 jsr s1
1192 .o 1 0
1193 create
1194 push_a 1
1195 update_a 1 2
1196 update_a 0 1
1197 pop_a 1
1198 .d 2 0
1199 jsr s3
1200 .o 1 0
1201 create
1202 buildI 2
1203 push_a 2
1204 update_a 2 3
1205 update_a 0 2
1206 pop_a 1
1207 .d 3 0
1208 jsr s4
1209 .o 1 0
1210 create
1211 buildI 1
1212 push_a 2
1213 update_a 2 3
1214 update_a 0 2
1215 pop_a 1
1216 .d 3 0
1217 jsr s4
1218 .o 1 0
1219 .d 2 0
1220 jmp s1
1221 .o 1 0
1222 s31
1223 create
1224 .d 1 0
1225 jsr s32
1226 .o 1 0
1227 create
1228 buildI 2
1229 push_a 2
1230 update_a 2 3
1231 update_a 0 2
1232 pop_a 1
1233 .d 3 0
1234 jsr s4
1235 .o 1 0
1236 create
1237 buildI 1
1238 push_a 2
1239 update_a 2 3
1240 update_a 0 2
1241 pop_a 1
1242 .d 3 0
1243 jsr s4
1244 .o 1 0
1245 create
1246 push_a 1
1247 update_a 1 2
1248 update_a 0 1
1249 pop_a 1
1250 .d 2 0
1251 jsr s1
1252 .o 1 0
1253 create
1254 push_a 1
1255 update_a 1 2
1256 update_a 0 1
1257 pop_a 1
1258 .d 2 0
1259 jsr s10
1260 .o 1 0
1261 create
1262 buildI 3
1263 push_a 2
1264 update_a 2 3
1265 update_a 0 2
1266 pop_a 1
1267 .d 3 0
1268 jsr s4
1269 .o 1 0
1270 create
1271 buildI 1
1272 push_a 2
1273 update_a 2 3
1274 update_a 0 2
1275 pop_a 1
1276 .d 3 0
1277 jsr s4
1278 .o 1 0
1279 create
1280 push_a 1
1281 update_a 1 2
1282 update_a 0 1
1283 pop_a 1
1284 .d 2 0
1285 jsr s1
1286 .o 1 0
1287 create
1288 buildI 1
1289 push_a 2
1290 update_a 2 3
1291 update_a 0 2
1292 pop_a 1
1293 .d 3 0
1294 jsr s4
1295 .o 1 0
1296 create
1297 push_a 1
1298 update_a 1 2
1299 update_a 0 1
1300 pop_a 1
1301 .d 2 0
1302 jsr s6
1303 .o 1 0
1304 create
1305 push_a 1
1306 update_a 1 2
1307 update_a 0 1
1308 pop_a 1
1309 .d 2 0
1310 jsr s11
1311 .o 1 0
1312 create
1313 buildI 1
1314 push_a 2
1315 update_a 2 3
1316 update_a 0 2
1317 pop_a 1
1318 .d 3 0
1319 jsr s4
1320 .o 1 0
1321 create
1322 buildI 1
1323 push_a 2
1324 update_a 2 3
1325 update_a 0 2
1326 pop_a 1
1327 .d 3 0
1328 jsr s4
1329 .o 1 0
1330 create
1331 push_a 1
1332 update_a 1 2
1333 update_a 0 1
1334 pop_a 1
1335 .d 2 0
1336 jsr s6
1337 .o 1 0
1338 create
1339 push_a 1
1340 update_a 1 2
1341 update_a 0 1
1342 pop_a 1
1343 .d 2 0
1344 jsr s12
1345 .o 1 0
1346 create
1347 push_a 1
1348 update_a 1 2
1349 update_a 0 1
1350 pop_a 1
1351 .d 2 0
1352 jsr s11
1353 .o 1 0
1354 .d 2 0
1355 jmp s3
1356 .o 1 0
1357 s32
1358 buildh _Nil 0
1359 buildI 5
1360 buildh _Cons 2
1361 buildI 1
1362 buildh _Cons 2
1363 create
1364 push_a 1
1365 update_a 1 2
1366 update_a 0 1
1367 pop_a 1
1368 .d 2 0
1369 jsr s10
1370 .o 1 0
1371 create
1372 buildI 3
1373 push_a 2
1374 update_a 2 3
1375 update_a 0 2
1376 pop_a 1
1377 .d 3 0
1378 jsr s4
1379 .o 1 0
1380 create
1381 buildI 2
1382 push_a 2
1383 update_a 2 3
1384 update_a 0 2
1385 pop_a 1
1386 .d 3 0
1387 jsr s4
1388 .o 1 0
1389 create
1390 push_a 1
1391 update_a 1 2
1392 update_a 0 1
1393 pop_a 1
1394 .d 2 0
1395 jsr s1
1396 .o 1 0
1397 create
1398 push_a 1
1399 update_a 1 2
1400 update_a 0 1
1401 pop_a 1
1402 .d 2 0
1403 jsr s10
1404 .o 1 0
1405 create
1406 buildI 4
1407 push_a 2
1408 update_a 2 3
1409 update_a 0 2
1410 pop_a 1
1411 .d 3 0
1412 jsr s4
1413 .o 1 0
1414 create
1415 buildI 1
1416 push_a 2
1417 update_a 2 3
1418 update_a 0 2
1419 pop_a 1
1420 .d 3 0
1421 jsr s4
1422 .o 1 0
1423 create
1424 push_a 1
1425 update_a 1 2
1426 update_a 0 1
1427 pop_a 1
1428 .d 2 0
1429 jsr s1
1430 .o 1 0
1431 create
1432 push_a 1
1433 update_a 1 2
1434 update_a 0 1
1435 pop_a 1
1436 .d 2 0
1437 jsr s7
1438 .o 1 0
1439 create
1440 buildI 2
1441 push_a 2
1442 update_a 2 3
1443 update_a 0 2
1444 pop_a 1
1445 .d 3 0
1446 jsr s4
1447 .o 1 0
1448 create
1449 buildI 1
1450 push_a 2
1451 update_a 2 3
1452 update_a 0 2
1453 pop_a 1
1454 .d 3 0
1455 jsr s4
1456 .o 1 0
1457 create
1458 push_a 1
1459 update_a 1 2
1460 update_a 0 1
1461 pop_a 1
1462 .d 2 0
1463 jsr s1
1464 .o 1 0
1465 create
1466 push_a 1
1467 update_a 1 2
1468 update_a 0 1
1469 pop_a 1
1470 .d 2 0
1471 jsr s3
1472 .o 1 0
1473 create
1474 buildI 2
1475 push_a 2
1476 update_a 2 3
1477 update_a 0 2
1478 pop_a 1
1479 .d 3 0
1480 jsr s4
1481 .o 1 0
1482 create
1483 buildI 1
1484 push_a 2
1485 update_a 2 3
1486 update_a 0 2
1487 pop_a 1
1488 .d 3 0
1489 jsr s4
1490 .o 1 0
1491 create
1492 push_a 1
1493 update_a 1 2
1494 update_a 0 1
1495 pop_a 1
1496 .d 2 0
1497 jsr s1
1498 .o 1 0
1499 create
1500 push_a 1
1501 update_a 1 2
1502 update_a 0 1
1503 pop_a 1
1504 .d 2 0
1505 jsr s10
1506 .o 1 0
1507 create
1508 buildI 3
1509 push_a 2
1510 update_a 2 3
1511 update_a 0 2
1512 pop_a 1
1513 .d 3 0
1514 jsr s4
1515 .o 1 0
1516 create
1517 buildI 1
1518 push_a 2
1519 update_a 2 3
1520 update_a 0 2
1521 pop_a 1
1522 .d 3 0
1523 jsr s4
1524 .o 1 0
1525 create
1526 push_a 1
1527 update_a 1 2
1528 update_a 0 1
1529 pop_a 1
1530 .d 2 0
1531 jsr s1
1532 .o 1 0
1533 create
1534 buildI 1
1535 push_a 2
1536 update_a 2 3
1537 update_a 0 2
1538 pop_a 1
1539 .d 3 0
1540 jsr s4
1541 .o 1 0
1542 create
1543 push_a 1
1544 update_a 1 2
1545 update_a 0 1
1546 pop_a 1
1547 .d 2 0
1548 jsr s6
1549 .o 1 0
1550 create
1551 buildI 3
1552 push_a 2
1553 update_a 2 3
1554 update_a 0 2
1555 pop_a 1
1556 .d 3 0
1557 jsr s4
1558 .o 1 0
1559 create
1560 buildI 2
1561 push_a 2
1562 update_a 2 3
1563 update_a 0 2
1564 pop_a 1
1565 .d 3 0
1566 jsr s4
1567 .o 1 0
1568 create
1569 push_a 1
1570 update_a 1 2
1571 update_a 0 1
1572 pop_a 1
1573 .d 2 0
1574 jsr s1
1575 .o 1 0
1576 create
1577 push_a 1
1578 update_a 1 2
1579 update_a 0 1
1580 pop_a 1
1581 .d 2 0
1582 jsr s3
1583 .o 1 0
1584 create
1585 buildI 2
1586 push_a 2
1587 update_a 2 3
1588 update_a 0 2
1589 pop_a 1
1590 .d 3 0
1591 jsr s4
1592 .o 1 0
1593 create
1594 buildI 1
1595 push_a 2
1596 update_a 2 3
1597 update_a 0 2
1598 pop_a 1
1599 .d 3 0
1600 jsr s4
1601 .o 1 0
1602 .d 2 0
1603 jmp s1
1604 .o 2 0
1605 s12
1606 eq_desc _Nil 0 0
1607 jmp_true case.1
1608 jmp case.2
1609 case.1
1610 fillh _Nil 0 1
1611 pop_a 1
1612 .d 1 0
1613 rtn
1614 case.2
1615 repl_args 2 2
1616 jsr_eval 1
1617 eq_desc _Nil 0 1
1618 jmp_true case.3
1619 jmp case.4
1620 case.3
1621 buildh _Nil 0
1622 push_a 1
1623 fillh _Cons 2 4
1624 pop_a 2
1625 .d 1 0
1626 rtn
1627 case.4
1628 push_args 1 2 2
1629 buildh _Nil 0
1630 update_a 0 4
1631 pop_a 1
1632 push_a 0
1633 jsr_eval 0
1634 pushI_a 1
1635 pop_a 1
1636 push_a 2
1637 jsr_eval 0
1638 pushI_a 3
1639 pop_a 1
1640 ltI
1641 notB
1642 jmp_false else.5
1643 push_a 1
1644 buildI 0
1645 fillh _Cons 2 6
1646 pop_a 4
1647 .d 1 0
1648 rtn
1649 else.5
1650 push_a 1
1651 buildI 1
1652 fillh _Cons 2 6
1653 pop_a 4
1654 .d 1 0
1655 rtn
1656 .o 2 0
1657 s11
1658 eq_desc _Nil 0 0
1659 jmp_true case.6
1660 jmp case.7
1661 case.6
1662 fillh _Nil 0 1
1663 pop_a 1
1664 .d 1 0
1665 rtn
1666 case.7
1667 repl_args 2 2
1668 jsr_eval 0
1669 eqI_a 0 0
1670 jmp_true case.8
1671 jmp case.9
1672 case.8
1673 push_a 1
1674 buildI 1
1675 fillh _Cons 2 4
1676 pop_a 2
1677 .d 1 0
1678 rtn
1679 case.9
1680 push_a 1
1681 buildI 0
1682 fillh _Cons 2 4
1683 pop_a 2
1684 .d 1 0
1685 rtn
1686 .o 2 0
1687 s10
1688 eq_desc _Nil 0 0
1689 jmp_true case.10
1690 jmp case.11
1691 case.10
1692 fillh _Nil 0 1
1693 pop_a 1
1694 .d 1 0
1695 rtn
1696 case.11
1697 repl_args 2 2
1698 push_a 1
1699 push_a 1
1700 buildh _Cons 2
1701 push_a 1
1702 fillh _Cons 2 4
1703 pop_a 2
1704 .d 1 0
1705 rtn
1706 .o 2 0
1707 s7
1708 eq_desc _Nil 0 0
1709 jmp_true case.12
1710 jmp case.13
1711 case.12
1712 fillh _Nil 0 1
1713 pop_a 1
1714 .d 1 0
1715 rtn
1716 case.13
1717 repl_args 2 2
1718 jsr_eval 1
1719 eq_desc _Nil 0 1
1720 jmp_true case.14
1721 jmp case.15
1722 case.14
1723 buildh _Nil 0
1724 push_a 1
1725 fillh _Cons 2 4
1726 pop_a 2
1727 .d 1 0
1728 rtn
1729 case.15
1730 push_args 1 2 2
1731 buildh _Nil 0
1732 update_a 0 4
1733 pop_a 1
1734 push_a 2
1735 push_a 1
1736 build _ 2 e_StdInt_n*;9
1737 push_a 2
1738 push_a 1
1739 update_a 1 2
1740 update_a 0 1
1741 pop_a 1
1742 fillh _Cons 2 6
1743 pop_a 4
1744 .d 1 0
1745 rtn
1746 .o 2 0
1747 s6
1748 eq_desc _Nil 0 0
1749 jmp_true case.16
1750 jmp case.17
1751 case.16
1752 fillh _Nil 0 1
1753 pop_a 1
1754 .d 1 0
1755 rtn
1756 case.17
1757 repl_args 2 2
1758 jsr_eval 1
1759 eq_desc _Nil 0 1
1760 jmp_true case.18
1761 jmp case.19
1762 case.18
1763 buildh _Nil 0
1764 push_a 1
1765 fillh _Cons 2 4
1766 pop_a 2
1767 .d 1 0
1768 rtn
1769 case.19
1770 push_args 1 2 2
1771 buildh _Nil 0
1772 update_a 0 4
1773 pop_a 1
1774 push_a 2
1775 push_a 1
1776 build _ 2 e_StdInt_n-;7
1777 push_a 2
1778 push_a 1
1779 update_a 1 2
1780 update_a 0 1
1781 pop_a 1
1782 fillh _Cons 2 6
1783 pop_a 4
1784 .d 1 0
1785 rtn
1786 .o 3 0
1787 s4
1788 eq_desc _Nil 0 1
1789 jmp_true case.20
1790 jmp case.21
1791 case.20
1792 buildh _Nil 0
1793 push_a 1
1794 fillh _Cons 2 4
1795 pop_a 2
1796 .d 1 0
1797 rtn
1798 case.21
1799 buildh _Nil 0
1800 push_a 1
1801 buildh _Cons 2
1802 push_a 2
1803 push_a 1
1804 update_a 1 2
1805 update_a 0 1
1806 pop_a 1
1807 update_a 1 3
1808 updatepop_a 0 2
1809 .d 3 0
1810 jmp e_StdList_s++
1811 .o 2 0
1812 s3
1813 eq_desc _Nil 0 0
1814 jmp_true case.22
1815 jmp case.23
1816 case.22
1817 fillh _Nil 0 1
1818 pop_a 1
1819 .d 1 0
1820 rtn
1821 case.23
1822 repl_args 2 2
1823 pop_a 1
1824 jmp_eval_upd
1825 .export e_semantic_functions_sroll
1826 .export e_semantic_functions_earoll
1827 .descexp e_semantic_functions_droll e_semantic_functions_nroll e_semantic_functions_lroll 1 0 "roll"
1828 .o 2 0
1829 e_semantic_functions_lroll
1830 update_a 1 0
1831 create
1832 update_a 0 2
1833 pop_a 1
1834 .d 2 0
1835 jmp e_semantic_functions_earoll
1836 .n 1 e_semantic_functions_droll e_semantic_functions_earoll
1837 .o 1 0
1838 e_semantic_functions_nroll
1839 push_node _cycle_in_spine 1
1840 .o 2 0
1841 e_semantic_functions_sroll
1842 .o 2 0
1843 e_semantic_functions_earoll
1844 jsr_eval 0
1845 .o 2 0
1846 s1
1847 eq_desc _Nil 0 0
1848 jmp_true case.24
1849 jmp case.25
1850 case.24
1851 fillh _Nil 0 1
1852 pop_a 1
1853 .d 1 0
1854 rtn
1855 case.25
1856 repl_args 2 2
1857 jsr_eval 1
1858 eq_desc _Nil 0 1
1859 jmp_true case.26
1860 jmp case.27
1861 case.26
1862 buildh _Nil 0
1863 push_a 1
1864 fillh _Cons 2 4
1865 pop_a 2
1866 .d 1 0
1867 rtn
1868 case.27
1869 push_args 1 2 2
1870 buildh _Nil 0
1871 update_a 0 4
1872 pop_a 1
1873 push_a 0
1874 jsr_eval 0
1875 pushI_a 1
1876 pop_a 1
1877 push_a 2
1878 jsr_eval 0
1879 pushI_a 3
1880 pop_a 1
1881 .d 0 2 ii
1882 jsr s15
1883 .o 0 1 i
1884 pushI 0
1885 push_b 1
1886 update_b 1 2
1887 update_b 0 1
1888 pop_b 1
1889 eqI
1890 jmp_false else.28
1891 updatepop_a 1 3
1892 jmp_eval_upd
1893 else.28
1894 pushI_a 0
1895 pushI 0
1896 ltI
1897 notB
1898 jmp_false else.29
1899 updatepop_a 1 3
1900 jmp_eval_upd
1901 else.29
1902 push_a 1
1903 jsr_eval 0
1904 .d 1 0
1905 jsr e_StdList_slength;47
1906 .o 0 1 i
1907 pushI_a 0
1908 push_b 1
1909 update_b 1 2
1910 update_b 0 1
1911 pop_b 1
1912 ltI
1913 jmp_false else.30
1914 fill_a 1 4
1915 pop_a 4
1916 .d 1 0
1917 rtn
1918 else.30
1919 pushI 1
1920 pushI_a 2
1921 eqI
1922 jmp_false else.31
1923 push_a 1
1924 push_a 1
1925 buildh _Cons 2
1926 updatepop_a 0 4
1927 .d 2 0
1928 jmp s2
1929 else.31
1930 pushI_a 2
1931 pushI 0
1932 ltI
1933 jmp_false else.32
1934 push_a 1
1935 push_a 1
1936 buildh _Cons 2
1937 build e_semantic_functions_droll1 1 e_semantic_functions_nroll1
1938 buildh _Nil 0
1939 push_a 2
1940 buildh _Cons 2
1941 build e_StdList_d++ 2 e_StdList_n++
1942 buildh _Nil 0
1943 buildI 1
1944 push_a 5
1945 build _ 2 e_StdInt_n-;7
1946 buildh _Cons 2
1947 create
1948 push_a 2
1949 update_a 1 3
1950 update_a 2 1
1951 update_a 0 2
1952 pop_a 1
1953 update_a 2 6
1954 update_a 1 5
1955 updatepop_a 0 4
1956 .d 3 0
1957 jsr e_StdList_s++
1958 .o 1 0
1959 .d 2 0
1960 jmp s1
1961 else.32
1962 pushI 0
1963 pushI_a 2
1964 ltI
1965 jmp_false else.33
1966 push_a 1
1967 push_a 1
1968 buildh _Cons 2
1969 buildh _Nil 0
1970 push_a 2
1971 push_a 5
1972 build _ 2 n15
1973 buildh _Cons 2
1974 create
1975 push_a 2
1976 update_a 1 3
1977 update_a 2 1
1978 update_a 0 2
1979 pop_a 1
1980 update_a 2 6
1981 update_a 1 5
1982 updatepop_a 0 4
1983 .d 3 0
1984 jsr e_StdList_s++
1985 .o 1 0
1986 .d 2 0
1987 jmp s1
1988 else.33
1989 pop_a 3
1990 jmp s1.1
1991 s1.1
1992 pop_a 2
1993 pushD m_semantic_functions
1994 pushD e_semantic_functions_droll
1995 .d 0 2 ii
1996 jmp _match_error
1997 .export e_semantic_functions_sroll1
1998 .export e_semantic_functions_earoll1
1999 .descexp e_semantic_functions_droll1 e_semantic_functions_nroll1 e_semantic_functions_lroll1 1 0 "roll1"
2000 .o 2 0
2001 e_semantic_functions_lroll1
2002 update_a 1 0
2003 create
2004 update_a 0 2
2005 pop_a 1
2006 .d 2 0
2007 jmp e_semantic_functions_earoll1
2008 .n 1 e_semantic_functions_droll1 e_semantic_functions_earoll1
2009 .o 1 0
2010 e_semantic_functions_nroll1
2011 push_node _cycle_in_spine 1
2012 .o 2 0
2013 e_semantic_functions_sroll1
2014 .o 2 0
2015 e_semantic_functions_earoll1
2016 jsr_eval 0
2017 .o 2 0
2018 s2
2019 eq_desc _Cons 2 0
2020 jmp_true case.34
2021 jmp s2.1
2022 case.34
2023 repl_args 2 2
2024 jsr_eval 0
2025 eqI_a 1 0
2026 jmp_true case.35
2027 jmp case.36
2028 case.35
2029 pop_a 1
2030 jmp_eval_upd
2031 case.36
2032 jsr_eval 1
2033 eq_desc _Cons 2 1
2034 jmp_true case.37
2035 pop_a 1
2036 jmp s2.1
2037 case.37
2038 push_args 1 2 2
2039 buildh _Nil 0
2040 update_a 0 4
2041 pop_a 1
2042 jsr_eval 1
2043 eq_desc _Cons 2 1
2044 jmp_true case.38
2045 pop_a 3
2046 jmp s2.1
2047 case.38
2048 push_args 1 2 2
2049 buildh _Nil 0
2050 update_a 0 4
2051 pop_a 1
2052 push_a 1
2053 push_a 3
2054 buildh _Cons 2
2055 buildI 1
2056 push_a 6
2057 build _ 2 e_StdInt_n-;7
2058 buildh _Cons 2
2059 build e_semantic_functions_droll1 1 e_semantic_functions_nroll1
2060 buildh _Nil 0
2061 push_a 2
2062 buildh _Cons 2
2063 update_a 1 7
2064 updatepop_a 0 6
2065 .d 3 0
2066 jmp e_StdList_s++
2067 s2.1
2068 pop_a 2
2069 pushD m_semantic_functions
2070 pushD e_semantic_functions_droll1
2071 .d 0 2 ii
2072 jmp _match_error
2073 .n 2 _
2074 .o 1 0
2075 n15
2076 push_node _cycle_in_spine 2
2077 .d 2 0
2078 jsr ea15
2079 .o 0 1 i
2080 fillI_b 0 0
2081 pop_b 1
2082 .d 1 0
2083 rtn
2084 .o 2 0
2085 ea15
2086 jsr_eval 1
2087 jsr_eval 0
2088 pushI_a 1
2089 pushI_a 0
2090 pop_a 2
2091 .o 0 2 ii
2092 s15
2093 pushI 0
2094 push_b 1
2095 ltI
2096 jmp_false else.39
2097 push_b 1
2098 push_b 1
2099 addI
2100 push_b 2
2101 push_b 1
2102 update_b 1 2
2103 update_b 0 1
2104 pop_b 1
2105 update_b 1 3
2106 updatepop_b 0 2
2107 .d 0 2 ii
2108 jmp s15
2109 else.39
2110 push_b 1
2111 push_b 1
2112 ltI
2113 jmp_false else.40
2114 update_b 0 1
2115 pop_b 1
2116 .d 0 1 i
2117 rtn
2118 else.40
2119 push_b 1
2120 push_b 1
2121 subI
2122 push_b 2
2123 push_b 1
2124 update_b 1 2
2125 update_b 0 1
2126 pop_b 1
2127 update_b 1 3
2128 updatepop_b 0 2
2129 .d 0 2 ii
2130 jmp s15