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 = 1288
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{lr}
				subw	sp, sp, #1532
				ldr	r3, .L4
		.LPIC0:
				add	r3, pc
				ldr	r2, .L4+4
				ldr	r3, [r3, r2]
				ldr	r3, [r3]
				str	r3, [sp, #1524]
    2
				bl	_imp_initialise(PLT)
		.LVL1:
    3   ! %prim     %byte %integer  %map  %spec   charno( %string(255) s,%integer n )
    4
    5   %byteintegermap my charno(%string(255) s, %integer n)
    6     %result == BYTEINTEGER(ADDR(s)+n)
    7   %end
    8
    9   %string(255) string = "00"
   10
   11   my charno(string,1) = '1'   ;! <-- does not affect string
   12   charno(string, 2) = '2'     ;! <-- *does* modify string even though the prim
				movs	r2, #255
				add	r1, sp, #500
				add	r4, sp, #244
				mov	r0, r4
				bl	_imp_strncpy(PLT)
		.LVL2:
				movs	r3, #50
				strb	r3, [r4, #2]
				mov	r2, #256
				add	r1, sp, #756
				add	r4, sp, #1012
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL3:
		.LBB33:
		.LBB34:
				movs	r2, #240
				addw	r1, sp, #1028
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL4:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL5:
		.LBE34:
		.LBE33:
		.LBB35:
		.LBB36:
				bl	_imp_newline(PLT)
		.LVL6:
		.LBE36:
		.LBE35:
		.LBB37:
		.LBB38:
				movs	r0, #0
				bl	exit(PLT)
		.LVL7:
		.L5:
				.align	2
		.L4:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
		.LBE38:
		.LBE37:
		.LFE185:
		.Letext0:
   13                                !     declaration is the same as my local one.
   14
   15   printstring(string); newline  ;! This outputs: 02
				movs	r2, #49
				strb	r2, [sp, #1269]
   16
   17 %endofprogram
   10 Statements compiled