Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
				.machine ppc
				.section	".text"
		.Ltext0:
				.align 2
				.globl main
		main:
		.LFB185:
		.LVL0:
				stwu 1,-1088(1)
				mflr 0
				stw 0,1092(1)
				lwz 9,-28680(2)
				stw 9,1084(1)
				li 9,0
    2 %RECORDFORMAT F1(%INTEGER I,J,K,L)
				bl _imp_initialise
		.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 ")
				li 5,256
				lis 4,.LANCHOR0@ha
				la 4,.LANCHOR0@l(4)
				addi 3,1,828
				bl memcpy
		.LVL2:
				li 5,256
				addi 4,1,828
				addi 3,1,572
				bl memcpy
		.LVL3:
				li 5,256
				addi 4,1,572
				addi 3,1,828
				bl memcpy
		.LVL4:
		.LBE39:
		.LBB40:
		.LBB41:
				li 5,256
				addi 4,1,828
				addi 3,1,16
				bl memcpy
		.LVL5:
				addi 3,1,16
				bl _imp_printstring
		.LVL6:
		.LBE41:
		.LBE40:
		.LBB42:
		.LBB43:
				li 3,0
				bl exit
		.LVL7:
		.L2:
		.LBE43:
		.LBE42:
		.LFE185:
				.section	.rodata
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	35
				.string	"\nTEST OK    (BYTE ADDRESS ANSWERS)\n"
				.zero	219
		.LC2:
				.byte	15
				.string	"\nWRONG ANSWERS\n"
				.zero	239
				.section	".text"
		.Letext0:
   26 %ENDOFPROGRAM
   18 Statements compiled