Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r3, lr}
    2 ! PASSES A RECORD BY VALUE
				bl	_imp_initialise(PLT)
		.LVL1:
		.LBB8:
		.LBB9:
    3 %recordformat fm((%integer i %or %byte b1,b2,b3,b4))
    4 %record(fm) a,b
    5
    6 %routine fred(%record(fm) x,%integer y, %record(fm) z)
    7    write(x_b1,1)
				movs	r1, #1
				movs	r0, #4
				bl	_imp_writeint(PLT)
		.LVL2:
    8    write(x_b2,1)
				movs	r1, #1
				movs	r0, #3
				bl	_imp_writeint(PLT)
		.LVL3:
    9    write(x_b3,1)
				movs	r1, #1
				movs	r0, #2
				bl	_imp_writeint(PLT)
		.LVL4:
   10    write(x_b4,1)
				movs	r1, #1
				mov	r0, r1
				bl	_imp_writeint(PLT)
		.LVL5:
   11    write(z_b1,1)
				movs	r1, #1
				movs	r0, #8
				bl	_imp_writeint(PLT)
		.LVL6:
   12    write(z_b2,1)
				movs	r1, #1
				movs	r0, #7
				bl	_imp_writeint(PLT)
		.LVL7:
   13    write(z_b3,1)
				movs	r1, #1
				movs	r0, #6
				bl	_imp_writeint(PLT)
		.LVL8:
   14    write(z_b4,1)
				movs	r1, #1
				movs	r0, #5
				bl	_imp_writeint(PLT)
		.LVL9:
		.LBE9:
		.LBE8:
		.LBB10:
		.LBB11:
				movs	r0, #0
				bl	exit(PLT)
		.LVL10:
		.LBE11:
		.LBE10:
		.LFE185:
		.Letext0:
   15 %end
?Y unused
   16
   17 a_i=x'01020304'
   18 b_i=x'05060708'
   19 fred(a,9,b)
   20 %endofprogram
   17 Statements compiled