Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.machine ppc
				.section	".text"
		.Ltext0:
				.align 2
				.globl main
		main:
		.LFB185:
		.LVL0:
				stwu 1,-4128(1)
				mflr 0
				stw 0,4132(1)
				lwz 9,-28680(2)
				stw 9,4124(1)
				li 9,0
    2 %conststring(10) fred="abcdefghij"
				bl _imp_initialise
		.LVL1:
    3 %string(10) a,b
    4
    5 	%if fred->a.("def").b %start
				li 5,256
				addi 4,1,1052
				addi 3,1,272
				bl memcpy
		.LVL2:
				li 5,256
				addi 4,1,1308
				addi 3,1,16
				bl memcpy
		.LVL3:
				addi 6,1,796
				addi 5,1,16
				addi 4,1,540
				addi 3,1,272
				bl _imp_resolve
		.LVL4:
				cmpwi 7,3,0
				beq 7,.L2
		.LBB34:
		.LBB35:
    6 	printstring("OK a=".a);
    7 	newline
    8 	%finish %else %start
				addi 5,1,540
				addi 4,1,1820
				addi 3,1,3868
				bl _imp_join
		.LVL5:
				li 5,256
				addi 4,1,1564
				addi 3,1,2844
				bl memcpy
		.LVL6:
		.LBE35:
		.LBE34:
		.LBB36:
		.LBB37:
				li 5,256
				addi 4,1,2844
				addi 3,1,16
				bl memcpy
		.LVL7:
				addi 3,1,16
				bl _imp_printstring
		.LVL8:
		.LBE37:
		.LBE36:
		.LBB38:
		.LBB39:
				bl _imp_newline
		.LVL9:
		.L3:
		.LBE39:
		.LBE38:
		.LBB40:
		.LBB41:
				li 3,0
				bl exit
		.LVL10:
		.L2:
		.LBE41:
		.LBE40:
		.LBB42:
    9 		printstring("fail")
				li 5,256
				lis 4,.LANCHOR0@ha
				la 4,.LANCHOR0@l(4)
				addi 3,1,3868
				bl memcpy
		.LVL11:
				li 5,256
				addi 4,1,3868
				addi 3,1,2076
				bl memcpy
		.LVL12:
				li 5,256
				addi 4,1,2076
				addi 3,1,3868
				bl memcpy
		.LVL13:
		.LBE42:
		.LBB43:
		.LBB44:
				li 5,256
				addi 4,1,3868
				addi 3,1,16
				bl memcpy
		.LVL14:
				addi 3,1,16
				bl _imp_printstring
		.LVL15:
		.LBE44:
		.LBE43:
		.LBB45:
		.LBB46:
				bl _imp_newline
		.LVL16:
				li 5,256
				addi 4,1,2332
				addi 3,1,3612
				bl memcpy
		.LVL17:
		.LBE46:
		.LBE45:
		.LBB47:
		.LBB48:
				li 5,256
				addi 4,1,3612
				addi 3,1,16
				bl memcpy
		.LVL18:
				addi 3,1,16
				bl _imp_printstring
		.LVL19:
		.LBE48:
		.LBE47:
		.LBB49:
		.LBB50:
				bl _imp_newline
		.LVL20:
				li 5,256
				addi 4,1,2588
				addi 3,1,3356
				bl memcpy
		.LVL21:
		.LBE50:
		.LBE49:
		.LBB51:
		.LBB52:
				li 5,256
				addi 4,1,3356
				addi 3,1,16
				bl memcpy
		.LVL22:
				addi 3,1,16
				bl _imp_printstring
		.LVL23:
		.LBE52:
		.LBE51:
		.LBB53:
		.LBB54:
				bl _imp_newline
		.LVL24:
				addi 4,1,4128
		.LVL25:
				li 9,0
				stbu 9,-1028(4)
		.LBE54:
		.LBE53:
		.LBB55:
		.LBB56:
				li 5,256
				addi 3,1,16
				bl memcpy
		.LVL26:
				addi 3,1,16
				bl _imp_printstring
		.LVL27:
		.LBE56:
		.LBE55:
		.LBB57:
		.LBB58:
				bl _imp_newline
		.LVL28:
				b .L3
		.LBE58:
		.LBE57:
		.LFE185:
				.section	.rodata
				.set	.LANCHOR0,. + 0
		.LC2:
				.byte	4
				.string	"fail"
				.zero	250
				.section	".text"
		.Letext0:
   10 		newline;
   11 		printstring(a);
   12 		newline;
   13 		printstring(b)
   14 		newline
   15 		printstring(fred)
   16 		newline
   17 	%finish
   18 %endofprogram
   17 Statements compiled