Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.option nopic
		.Ltext0:
				.align	1
				.globl	main
		main:
		.LFB185:
		.LVL0:
				add	sp,sp,-800
				sd	ra,792(sp)
				lui	a5,%hi(__stack_chk_guard)
				ld	a5,%lo(__stack_chk_guard)(a5)
				sd	a5,776(sp)
    2 %recordformat f(%integer i,j,k)
				call	_imp_initialise
		.LVL1:
		.LBB20:
    3 %record(f) expopnd
    4 %routine test
    5 %record(f)space
    6 %record(f)%name opnd1
    7 opnd1==space
    8 opnd1_i=13
    9 expopnd=opnd1
   10 %end
   11 test
   12 %if expopnd_i=13 %then printstring("TEST OK") %else printstring("FAIL")
   13 %endofprogram
				li	a2,256
				lui	a1,%hi(.LANCHOR0)
				addi	a1,a1,%lo(.LANCHOR0)
				add	a0,sp,520
				call	memcpy
		.LVL2:
				li	a2,256
				add	a1,sp,520
				add	a0,sp,264
				call	memcpy
		.LVL3:
				li	a2,256
				add	a1,sp,264
				add	a0,sp,520
				call	memcpy
		.LVL4:
		.LBE20:
		.LBB21:
		.LBB22:
				li	a2,256
				add	a1,sp,520
				mv	a0,sp
				call	memcpy
		.LVL5:
				mv	a0,sp
				call	_imp_printstring
		.LVL6:
		.LDL1:
		.LBE22:
		.LBE21:
		.LBB23:
		.LBB24:
				li	a0,0
				call	exit
		.LVL7:
		.LBE24:
		.LBE23:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	7
				.string	"TEST OK"
				.zero	247
		.Letext0:
   13 Statements compiled