         Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ Volatile: function does not return.
				@ args = 0, pretend = 0, frame = 3592
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{lr}
				sub	sp, sp, #4096
				sub	sp, sp, #4
				ldr	r3, .L6
		.LPIC0:
				add	r3, pc
				ldr	r2, .L6+4
				ldr	r3, [r3, r2]
				ldr	r3, [r3]
				str	r3, [sp, #4092]
    2 %conststring(10) fred="abcdefghij"
				bl	_imp_initialise(PLT)
		.LVL1:
    3 %string(10) a,b
    4
    5 	%if fred->a.("def").b %start
				add	r3, sp, #764
				str	r3, [sp, #500]
				mov	r2, #256
				addw	r1, sp, #1276
				add	r0, sp, #244
				bl	memcpy(PLT)
		.LVL2:
				add	r3, sp, #508
				str	r3, [sp, #240]
				movs	r2, #240
				addw	r1, sp, #1036
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL3:
				add	r3, sp, #1020
				ldm	r3, {r0, r1, r2, r3}
				bl	_imp_resolve(PLT)
		.LVL4:
				cbz	r0, .L2
		.LBB34:
		.LBB35:
    6 	printstring("OK a=".a);
    7 	newline
    8 	%finish %else %start
				add	r2, sp, #508
				addw	r1, sp, #1788
				addw	r0, sp, #3836
				bl	_imp_join(PLT)
		.LVL5:
				mov	r2, #256
				addw	r1, sp, #1532
				addw	r4, sp, #2812
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL6:
		.LBE35:
		.LBE34:
		.LBB36:
		.LBB37:
				movs	r2, #240
				addw	r1, sp, #2828
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL7:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL8:
		.LBE37:
		.LBE36:
		.LBB38:
		.LBB39:
				bl	_imp_newline(PLT)
		.LVL9:
		.L3:
		.LBE39:
		.LBE38:
		.LBB40:
		.LBB41:
				movs	r0, #0
				bl	exit(PLT)
		.LVL10:
		.L2:
		.LBE41:
		.LBE40:
		.LBB42:
    9 		printstring("fail")
				mov	r5, #256
				mov	r2, r5
				ldr	r1, .L6+8
		.LPIC1:
				add	r1, pc
				addw	r4, sp, #3836
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL11:
				mov	r2, r5
				mov	r1, r4
				addw	r6, sp, #2044
				mov	r0, r6
				bl	memcpy(PLT)
		.LVL12:
				mov	r2, r5
				mov	r1, r6
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL13:
		.LBE42:
		.LBB43:
		.LBB44:
				movs	r6, #240
				mov	r2, r6
				addw	r1, sp, #3852
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL14:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL15:
		.LBE44:
		.LBE43:
		.LBB45:
		.LBB46:
				bl	_imp_newline(PLT)
		.LVL16:
				mov	r2, r5
				addw	r1, sp, #2300
				addw	r4, sp, #3580
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL17:
		.LBE46:
		.LBE45:
		.LBB47:
		.LBB48:
				mov	r2, r6
				addw	r1, sp, #3596
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL18:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL19:
		.LBE48:
		.LBE47:
		.LBB49:
		.LBB50:
				bl	_imp_newline(PLT)
		.LVL20:
				mov	r2, r5
				addw	r1, sp, #2556
				addw	r4, sp, #3324
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL21:
		.LBE50:
		.LBE49:
		.LBB51:
		.LBB52:
				mov	r2, r6
				addw	r1, sp, #3340
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL22:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL23:
		.LBE52:
		.LBE51:
		.LBB53:
		.LBB54:
				bl	_imp_newline(PLT)
		.LVL24:
				movs	r3, #0
				addw	r4, sp, #3068
				strb	r3, [sp, #3068]
		.LBE54:
		.LBE53:
		.LBB55:
		.LBB56:
				mov	r2, r6
				addw	r1, sp, #3084
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL25:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL26:
		.LBE56:
		.LBE55:
		.LBB57:
		.LBB58:
				bl	_imp_newline(PLT)
		.LVL27:
				b	.L3
		.L7:
				.align	2
		.L6:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR0-(.LPIC1+4)
		.LBE58:
		.LBE57:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR0,. + 0
		.LC2:
				.byte	4
				.ascii	"fail\000"
				.space	250
		.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
