Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	2
				.global	main
		main:
		.LFB185:
		.LVL0:
				sub	sp, sp, #1600
				stp	x29, x30, [sp]
				add	x29, sp, 0
				stp	x19, x20, [sp, 16]
				str	x21, [sp, 32]
				adrp	x2, :got:__stack_chk_guard
				ldr	x2, [x2, #:got_lo12:__stack_chk_guard]
				ldr	x3, [x2]
				str	x3, [x29, 1592]
				mov	x3,0
    2
				bl	_imp_initialise
		.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
				mov	x2, 255
				add	x1, x29, 568
				add	x0, x29, 312
				bl	_imp_strncpy
		.LVL2:
				mov	w0, 50
				strb	w0, [x29, 314]
				add	x20, x29, 1080
				mov	x21, 256
				mov	x2, x21
				add	x1, x29, 824
				mov	x0, x20
				bl	memcpy
		.LVL3:
		.LBB33:
		.LBB34:
				add	x19, x29, 48
				mov	x2, x21
				mov	x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL4:
				mov	x0, x19
				bl	_imp_printstring
		.LVL5:
		.LBE34:
		.LBE33:
		.LBB35:
		.LBB36:
				bl	_imp_newline
		.LVL6:
		.LBE36:
		.LBE35:
		.LBB37:
		.LBB38:
				mov	w0, 0
				bl	exit
		.LVL7:
		.LBE38:
		.LBE37:
		.LFE185:
		.Letext0:
   13                                !     declaration is the same as my local one.
   14
   15   printstring(string); newline  ;! This outputs: 02
				mov	w0, 49
				strb	w0, [x29, 1337]
   16
   17 %endofprogram
   10 Statements compiled