Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 816
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r4, r5, r6, lr}
				sub	sp, sp, #1056
				ldr	r3, .L5
		.LPIC0:
				add	r3, pc
				ldr	r2, .L5+4
				ldr	r3, [r3, r2]
				ldr	r3, [r3]
				str	r3, [sp, #1052]
    2 %RECORDFORMAT F1(%INTEGER I,J,K,L)
				bl	_imp_initialise(PLT)
		.LVL1:
		.LBB39:
    3 %RECORDFORMAT F2(%INTEGER P,%RECORD(F1)%ARRAY A(0:8))
    4 %RECORD(F2) R,RP
    5 %RECORD(F2)%NAME RR
    6 %RECORD(F1)%NAME RN
    7 %INTEGER I,J,K,L
    8 RR==RP
    9 I=ADDR(R_A(0))
   10 RN==R_A(0)
   11 J=ADDR(R_A(0)_K)
   12 K=ADDR(RR_A(0))
   13 L=ADDR(RR_A(0)_K)
   14 RN==RR_A(0)
   15 %IF I+8=J %AND ADDR(R)+4=I %AND K+8=L %C
   16       %AND ADDR(RR)+4=K=ADDR(RN) %THEN PRINTSTRING("
   17 TEST OK    (BYTE ADDRESS ANSWERS)
   18 ") %AND %STOP
   19 %IF I+4=J %AND ADDR(R)+2=I %AND K+4=L %C
   20       %AND ADDR(RR)+2=K=ADDR(RN) %THEN PRINTSTRING("
   21 TEST OK (WORD ADDRESS ANSWERS)
   22 ")  %AND %STOP
   23 PRINTSTRING("
   24 WRONG ANSWERS
   25 ")
				mov	r6, #256
				mov	r2, r6
				ldr	r1, .L5+8
		.LPIC1:
				add	r1, pc
				add	r4, sp, #796
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL2:
				mov	r2, r6
				mov	r1, r4
				add	r5, sp, #540
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL3:
				mov	r2, r6
				mov	r1, r5
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL4:
		.LBE39:
		.LBB40:
		.LBB41:
				movs	r2, #240
				add	r1, sp, #812
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL5:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL6:
		.LBE41:
		.LBE40:
		.LBB42:
		.LBB43:
				movs	r0, #0
				bl	exit(PLT)
		.LVL7:
		.L6:
				.align	2
		.L5:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR0-(.LPIC1+4)
		.L2:
		.LBE43:
		.LBE42:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	35
				.ascii	"\012TEST OK    (BYTE ADDRESS ANSWERS)\012\000"
				.space	219
		.LC2:
				.byte	15
				.ascii	"\012WRONG ANSWERS\012\000"
				.space	239
		.Letext0:
   26 %ENDOFPROGRAM
   18 Statements compiled