Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
				NO_APP
		.Ltext0:
				.section	.rodata
		.LC8:
		 		.byte	11
		 		.string	"CHECK FAILS"
		 		.zero	243
				.align	2
		CHECK.5993:
		.LFB186:
		.LVL13:
		 		link.w %fp,#-7172
		 		movem.l #14396,-(%sp)
		 		lea (8,%fp),%a0
		.LVL14:
		 		move.l %a0,-516(%fp)
    2 %owninteger Fail=0
		 		move.l 12(%fp),-(%sp)
		 		move.l 8(%fp),-(%sp)
		 		jsr _imp_initialise
		.LVL15:
    3 %STRING(30)S,T,U
    4 %ROUTINESPEC CHECK(%STRING(30) P,Q,R)
    5       S=""; T=S
    6       PRINTSTRING("BUG0") %UNLESS T=""
    7       CHECK(S,T,"")
		 		pea 30.w
		 		pea -7172(%fp)
		 		pea -772(%fp)
		 		lea _imp_strncpy,%a2
		 		jsr (%a2)
		.LVL16:
		 		move.l %fp,%d3
		.LVL25:
		 		add.l #-772,%d3
		.LVL26:
		 		lea (-256,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d0,-(%sp)
		 		lea memcpy,%a2
		 		jsr (%a2)
		.LVL27:
		 		lea (-244,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		pea -5892(%fp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL28:
		 		lea (-244,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		pea -6148(%fp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL29:
		 		lea (12,%sp),%sp
		 		lea CHECK.5993,%a3
		 		move.l %d3,%a0
		 		jsr (%a3)
		.LVL30:
    8       S="ABCD"; T=S
		 		lea (32,%sp),%sp
		 		pea -6660(%fp)
		 		move.l %d2,-(%sp)
		 		jsr _imp_strcmp
		.LVL20:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jne .L12
		.LVL21:
		.L6:
		.LBB48:
    9       CHECK(S,T,"ABCD")
		 		lea (-256,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL35:
		 		lea (-244,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		pea -4612(%fp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL36:
		 		lea (-244,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		pea -4868(%fp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL37:
		 		lea (12,%sp),%sp
		 		move.l %d3,%a0
		 		jsr (%a3)
		.LVL38:
		.LBB50:
   10       %UNLESS "MAST"<="MEST"<="MOST" %THEN Fail=1 %and PRINTSTRING("BUG1")
		 		lea (780,%sp),%sp
		 		pea 30.w
		 		pea -5380(%fp)
		 		move.l %d3,-(%sp)
		 		lea _imp_strncpy,%a5
		 		jsr (%a5)
		.LVL31:
   11       S="MAST"; T="MEST"; U="MOST"
		 		move.l %fp,%d3
		.LVL72:
		 		add.l #-1028,%d3
		.LVL73:
		 		move.l #256,%d2
		 		move.l %d2,-(%sp)
		 		pea .LC0
		 		move.l %d3,-(%sp)
		 		lea memcpy,%a2
		 		jsr (%a2)
		.LVL74:
		 		move.l %fp,%d4
		.LVL75:
		 		add.l #-6404,%d4
		.LVL76:
		 		move.l %d2,-(%sp)
		 		move.l %d3,-(%sp)
		 		move.l %d4,-(%sp)
		 		jsr (%a2)
		.LVL77:
		 		add.l #-768,%d3
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d3,-(%sp)
		 		jsr (%a2)
		.LVL78:
		.LBE60:
		.LBB61:
		.LBB62:
		 		lea (-220,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		move.l %d3,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL79:
		 		lea (12,%sp),%sp
		 		jsr _imp_printstring
		.LVL80:
		 		add.l %d2,%sp
		 		jra .L6
		.LVL81:
		.L13:
		.LBE62:
		.LBE61:
		.LBB63:
		 		pea -3588(%fp)
		 		pea -3844(%fp)
		.LVL82:
		 		jsr _imp_strcmp
		.LVL83:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jgt .L7
		.LBE63:
		 		jra .L8
		.LVL84:
		.L14:
		.LBB64:
		 		pea -512(%fp)
		 		pea -256(%fp)
		 		jsr _imp_strcmp
		.LVL85:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jgt .L9
		.LBE64:
		 		jra .L10
		.LVL86:
		.L15:
		.LBB65:
   12       %UNLESS S<=T<=U %THEN Fail=1 %and PRINTSTRING("BUG2")
		 		pea 30.w
		 		pea -6916(%fp)
		 		move.l %fp,%d2
		.LVL17:
		 		add.l #-256,%d2
		.LVL18:
		 		move.l %d2,-(%sp)
		 		jsr (%a2)
		.LVL19:
   13       %if Fail=0 %then printstring("TEST OK")
		 		pea 30.w
		 		pea -3076(%fp)
		 		move.l %fp,%d2
		.LVL52:
		 		add.l #-772,%d2
		.LVL53:
		 		move.l %d2,-(%sp)
		 		lea _imp_strncpy,%a2
		 		jsr (%a2)
		.LVL54:
		 		tst.l FAIL.5986
		 		jeq .L15
		.L11:
		.LVL70:
		.LBB58:
		.LBB59:
		 		clr.l -(%sp)
		 		jsr exit
		.LVL71:
		.L12:
		.LBE59:
		.LBE58:
		.LBB60:
   14       %ROUTINE CHECK(%STRING(30) P,Q,R)
		 		link.w %fp,#-512
		 		movem.l #14368,-(%sp)
		 		move.l %fp,%d2
		.LVL87:
		 		add.l #-1028,%d2
		.LVL88:
		 		move.l #256,%d3
		 		move.l %d3,-(%sp)
		 		pea .LC7
		 		move.l %d2,-(%sp)
		 		lea memcpy,%a2
		 		jsr (%a2)
		.LVL89:
		 		move.l %fp,%d4
		.LVL90:
		 		add.l #-2052,%d4
		.LVL91:
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		jsr (%a2)
		.LVL92:
		 		move.l %d3,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d2,-(%sp)
		 		jsr (%a2)
		.LVL93:
		.LBE65:
		.LBB66:
		.LBB67:
		 		lea (-220,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL94:
		 		lea (12,%sp),%sp
		 		jsr _imp_printstring
		.LVL95:
		 		add.l %d3,%sp
		 		jra .L11
		.LBE67:
		.LBE66:
		.LFE185:
				.comm	FAIL.5986,4,2
		.Letext0:
   15       Fail=1 %and PRINTSTRING("CHECK FAILS") %UNLESS %C
		 		move.l %fp,%d4
		.LVL22:
		 		add.l #-5636,%d4
		.LVL23:
		 		move.l #256,%d2
		 		move.l %d2,-(%sp)
		 		clr.l -(%sp)
		 		move.l %d4,-(%sp)
		 		lea memset,%a4
		 		jsr (%a4)
		.LVL24:
		.LBE48:
		 		pea 30.w
		 		pea -5124(%fp)
		 		pea -256(%fp)
		 		jsr (%a5)
		.LVL32:
		.LBB49:
		 		lea (780,%sp),%sp
		 		pea -3844(%fp)
		.LVL39:
		 		pea -4100(%fp)
		.LVL40:
		 		jsr _imp_strcmp
		.LVL41:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jle .L13
		.L7:
		.LBE50:
		 		moveq #1,%d0
		 		move.l %d0,FAIL.5986
		.LBB51:
		 		move.l %fp,%d3
		.LVL42:
		 		add.l #-1028,%d3
		.LVL43:
		 		move.l #256,%d2
		 		move.l %d2,-(%sp)
		 		pea .LC5
		 		move.l %d3,-(%sp)
		 		lea memcpy,%a2
		 		jsr (%a2)
		.LVL44:
		 		move.l %fp,%d4
		.LVL45:
		 		add.l #-3332,%d4
		.LVL46:
		 		move.l %d2,-(%sp)
		 		move.l %d3,-(%sp)
		 		move.l %d4,-(%sp)
		 		jsr (%a2)
		.LVL47:
		 		add.l #-512,%d3
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d3,-(%sp)
		 		jsr (%a2)
		.LVL48:
		.LBE51:
		.LBB52:
		.LBB53:
		 		lea (-220,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		move.l %d3,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL49:
		 		lea (12,%sp),%sp
		 		jsr _imp_printstring
		.LVL50:
		 		add.l %d2,%sp
		.LVL51:
		.L8:
		.LBE53:
		.LBE52:
   16          P=S %AND Q=R %AND P=Q=R
   17       %END
		 		move.l %a0,-(%sp)
		 		pea 8(%fp)
		 		jsr _imp_strcmp
		.LVL0:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jne .L2
		 		pea 226.w
		 		clr.l -(%sp)
		 		pea -998(%fp)
		 		jsr (%a4)
		.LVL33:
		 		move.l #1094861636,-1027(%fp)
		 		clr.l -1023(%fp)
		 		lea (-1019,%fp),%a0
		 		clr.l (%a0)+
		 		clr.l (%a0)+
		 		clr.l (%a0)+
		 		clr.l (%a0)+
		 		clr.l (%a0)+
		 		clr.w (%a0)
		 		move.b #4,-1028(%fp)
		 		add.l #1280,%d4
		 		lea (36,%sp),%sp
		 		move.l %d2,-(%sp)
		 		pea -1028(%fp)
		 		move.l %d4,-(%sp)
		 		jsr (%a2)
		.LVL34:
		.LBE49:
		 		lea (36,%sp),%sp
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		jsr _imp_strcmp
		.LVL59:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jle .L14
		.L9:
		.LBE54:
		 		moveq #1,%d0
		 		move.l %d0,FAIL.5986
		.LBB55:
		 		move.l %fp,%d3
		.LVL60:
		 		add.l #-1028,%d3
		.LVL61:
		 		move.l #256,%d2
		 		move.l %d2,-(%sp)
		 		pea .LC6
		 		move.l %d3,-(%sp)
		 		lea memcpy,%a2
		 		jsr (%a2)
		.LVL62:
		 		move.l %fp,%d4
		.LVL63:
		 		add.l #-2308,%d4
		.LVL64:
		 		move.l %d2,-(%sp)
		 		move.l %d3,-(%sp)
		 		move.l %d4,-(%sp)
		 		jsr (%a2)
		.LVL65:
		 		add.l #-256,%d3
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d3,-(%sp)
		 		jsr (%a2)
		.LVL66:
		.LBE55:
		.LBB56:
		.LBB57:
		 		lea (-220,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d2,-(%sp)
		 		move.l %d3,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL67:
		 		lea (12,%sp),%sp
		 		jsr _imp_printstring
		.LVL68:
		 		add.l %d2,%sp
		.LVL69:
		.L10:
		.LBE57:
		.LBE56:
   18 %ENDOFPROGRAM
		 		movem.l -528(%fp),#1052
		 		unlk %fp
		 		rts
		.L4:
		.LVL7:
		.LBB47:
		 		pea 264(%fp)
		.LVL8:
		 		pea 8(%fp)
		.LVL9:
		 		jsr _imp_strcmp
		.LVL10:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jne .L2
		 		pea 520(%fp)
		 		pea 264(%fp)
		.LVL11:
		 		jsr _imp_strcmp
		.LVL12:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jne .L2
		.LBE47:
		 		jra .L1
		.LFE186:
				.section	.rodata
		.LC5:
		 		.byte	4
		 		.string	"BUG1"
		 		.zero	250
		.LC6:
		 		.byte	4
		 		.string	"BUG2"
		 		.zero	250
		.LC0:
		 		.byte	4
		 		.string	"BUG0"
		 		.zero	250
		.LC7:
		 		.byte	7
		 		.string	"TEST OK"
		 		.zero	247
				.align	2
				.globl	main
		main:
		.LFB185:
		 		pea 30.w
		 		pea -2820(%fp)
		 		move.l %fp,%d3
		.LVL55:
		 		add.l #-256,%d3
		.LVL56:
		 		move.l %d3,-(%sp)
		 		jsr (%a2)
		.LVL57:
		 		pea 30.w
		 		pea -2564(%fp)
		 		pea -512(%fp)
		 		jsr (%a2)
		.LVL58:
		.LBB54:
   21 Statements compiled
		 		pea 520(%fp)
		 		pea 264(%fp)
		 		jsr _imp_strcmp
		.LVL1:
		 		addq.l #8,%sp
		 		tst.l %d0
		 		jeq .L4
		.L2:
		 		moveq #1,%d0
		 		move.l %d0,FAIL.5986
		.LBB44:
		 		move.l %fp,%d2
		 		add.l #-256,%d2
		 		move.l #256,%d3
		 		move.l %d3,-(%sp)
		 		pea .LC8
		 		move.l %d2,-(%sp)
		 		lea memcpy,%a2
		 		jsr (%a2)
		.LVL2:
		 		move.l %fp,%d4
		 		add.l #-512,%d4
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		jsr (%a2)
		.LVL3:
		 		move.l %d3,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d2,-(%sp)
		 		jsr (%a2)
		.LVL4:
		.LBE44:
		.LBB45:
		.LBB46:
		 		lea (-220,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL5:
		 		lea (12,%sp),%sp
		 		jsr _imp_printstring
		.LVL6:
		 		add.l %d3,%sp
		.L3:
		.L1:
		.LBE46:
		.LBE45: