         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,%integername line,length)
				call	_imp_initialise
		.LVL1:
		.LBB10:
    3 %record(f) spacea,spaceb
    4 %record(f) %name worka,workb
    5 %integer i,j,x
    6        i=3; j=4
    7 worka==spacea; workb==spaceb
    8 worka_line==i
    9 workb_length==j
   10        x=i+4+worka_line*workb_length
   11 %if x=19 %then printstring("TEST OK") %else printstring("Failed")
   12 %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:
		.LBE10:
		.LBB11:
		.LBB12:
				li	a2,256
				add	a1,sp,520
				mv	a0,sp
				call	memcpy
		.LVL5:
				mv	a0,sp
				call	_imp_printstring
		.LVL6:
		.LDL1:
		.LBE12:
		.LBE11:
		.LBB13:
		.LBB14:
				li	a0,0
				call	exit
		.LVL7:
		.LBE14:
		.LBE13:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	7
				.string	"TEST OK"
				.zero	247
		.Letext0:
   14 Statements compiled
