Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	2
				.global	main
		main:
		.LFB185:
		.LVL0:
				sub	sp, sp, #832
				stp	x29, x30, [sp]
				add	x29, sp, 0
				stp	x19, x20, [sp, 16]
				str	x21, [sp, 32]
				adrp	x2, :got:__stack_chk_guard
				ldr	x2, [x2, #:got_lo12:__stack_chk_guard]
				ldr	x3, [x2]
				str	x3, [x29, 824]
				mov	x3,0
    2 %recordformat rf(%short h0,%byte b2,b3)
				bl	_imp_initialise
		.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
				adrp	x0, .LANCHOR0
				add	x1, x0, :lo12:.LANCHOR0
				mov	w2, 17
				strh	w2, [x0, #:lo12:.LANCHOR0]
   10 x2=x1
				ldr	w0, [x0, #:lo12:.LANCHOR0]
				str	w0, [x1, 8]
		.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
				add	x19, x29, 568
				mov	x20, 256
				mov	x2, x20
				adrp	x1, .LANCHOR1
				add	x1, x1, :lo12:.LANCHOR1
				mov	x0, x19
				bl	memcpy
		.LVL3:
				add	x21, x29, 312
				mov	x2, x20
				mov	x1, x19
				mov	x0, x21
				bl	memcpy
		.LVL4:
				mov	x2, x20
				mov	x1, x21
				mov	x0, x19
				bl	memcpy
		.LVL5:
		.LBE16:
		.LBB17:
		.LBB18:
				add	x0, x29, 48
				mov	x2, x20
				mov	x1, x19
				mov	x19, x0
				bl	memcpy
		.LVL6:
				mov	x0, x19
				bl	_imp_printstring
		.LVL7:
		.LDL1:
		.LBE18:
		.LBE17:
		.LBB19:
		.LBB20:
				mov	w0, 0
				bl	exit
		.LVL8:
		.LBE20:
		.LBE19:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR1,. + 0
		.LC0:
				.byte	7
				.string	"Test OK"
				.zero	247
				.bss
				.align	3
				.set	.LANCHOR0,. + 0
		X1.7697:
				.zero	4
				.zero	4
		X2.7698:
				.zero	4
		.Letext0: