Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.machine ppc
				.section	".text"
		.Ltext0:
				.align 2
				.globl main
		main:
		.LFB185:
		.LVL0:
				stwu 1,-800(1)
				mflr 0
				stw 0,804(1)
				lwz 9,-28680(2)
				stw 9,796(1)
				li 9,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
				lis 9,.LANCHOR0@ha
				la 10,.LANCHOR0@l(9)
				li 8,17
				sth 8,.LANCHOR0@l(9)
   10 x2=x1
				lwz 9,.LANCHOR0@l(9)
				stw 9,4(10)
		.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
				li 5,256
				lis 4,.LANCHOR1@ha
				la 4,.LANCHOR1@l(4)
				addi 3,1,540
				bl memcpy
		.LVL3:
				li 5,256
				addi 4,1,540
				addi 3,1,284
				bl memcpy
		.LVL4:
				li 5,256
				addi 4,1,284
				addi 3,1,540
				bl memcpy
		.LVL5:
		.LBE16:
		.LBB17:
		.LBB18:
				li 5,256
				addi 4,1,540
				addi 3,1,16
				bl memcpy
		.LVL6:
				addi 3,1,16
				bl _imp_printstring
		.LVL7:
		.LDL1:
		.LBE18:
		.LBE17:
		.LBB19:
		.LBB20:
				li 3,0
				bl exit
		.LVL8:
		.LBE20:
		.LBE19:
		.LFE185:
				.section	.rodata
				.set	.LANCHOR1,. + 0
		.LC0:
				.byte	7
				.string	"Test OK"
				.zero	247
				.section	".bss"
				.align 1
				.set	.LANCHOR0,. + 0
		X1.6992:
				.zero	4
		X2.6993:
				.zero	4
				.section	".text"
		.Letext0: