Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ Volatile: function does not return.
				@ args = 0, pretend = 0, frame = 520
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{lr}
				sub	sp, sp, #764
				ldr	r3, .L4
		.LPIC0:
				add	r3, pc
				ldr	r2, .L4+4
				ldr	r3, [r3, r2]
				ldr	r3, [r3]
				str	r3, [sp, #756]
    2 %recordformat rf(%short h0,%byte b2,b3)
				bl	_imp_initialise(PLT)
		.LVL1:
		.LBB14:
		.LBB15:
    3 %ownrecord(rf) x1,x2
    4 %integerfn fred
    5 %integer k
    6 %record(rf)r0,r1,r2
    7 k=13
    8 r0_h0=12
    9 x1_h0=17
				ldr	r3, .L4+8
		.LPIC1:
				add	r3, pc
				movs	r2, #17
				strh	r2, [r3]	@ movhi
   10 x2=x1
				ldr	r2, [r3]
				str	r2, [r3, #4]
		.LVL2:
		.LBE15:
		.LBE14:
		.LBB16:
   11 r1=r0
   12 r2=r1
   13 %result=r2_h0
   14 %end
   15 %if fred=12 %and x2_H0=17 %then printstring("Test OK")
   16 %endofprogram
   16 Statements compiled
				mov	r6, #256
				mov	r2, r6
				ldr	r1, .L4+12
		.LPIC4:
				add	r1, pc
				add	r4, sp, #500
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL3:
				mov	r2, r6
				mov	r1, r4
				add	r5, sp, #244
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL4:
				mov	r2, r6
				mov	r1, r5
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL5:
		.LBE16:
		.LBB17:
		.LBB18:
				movs	r2, #240
				add	r1, sp, #516
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL6:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL7:
		.LDL1:
		.LBE18:
		.LBE17:
		.LBB19:
		.LBB20:
				movs	r0, #0
				bl	exit(PLT)
		.LVL8:
		.L5:
				.align	2
		.L4:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR0-(.LPIC1+4)
				.word	.LANCHOR1-(.LPIC4+4)
		.LBE20:
		.LBE19:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR1,. + 0
		.LC0:
				.byte	7
				.ascii	"Test OK\000"
				.space	247
				.bss
				.align	2
				.set	.LANCHOR0,. + 0
		X1.10033:
				.space	4
		X2.10034:
				.space	4
		.Letext0: