Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		MYCHARNO.6023:
		.LFB190:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$824, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -828(%ebp)
				movl	%gs:20, %edi
				movl	%edi, -28(%ebp)
				xorl	%edi, %edi
				leal	8(%ebp), %edx
				movl	%edx, -812(%ebp)
				subl	$8, %esp
				pushl	-828(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
		.LBB22:
		.LBB23:
    2
    3   ! %prim     %byte %integer  %map  %spec   charno( %string(255) s,%integer n )
    4
    5   %byteintegermap my charno(%string(255) s, %integer n)
				pushl	%ebp
				movl	%esp, %ebp
				subl	$20, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, -20(%ebp)
				leal	8(%ebp), %eax
				movl	%eax, -4(%ebp)
		.LBB18:
		.LBB19:
				movl	-4(%ebp), %edx
		.LBE19:
		.LBE18:
    6     %result == BYTEINTEGER(ADDR(s)+n)
				movl	264(%ebp), %eax
				addl	%edx, %eax
				movl	%eax, -8(%ebp)
		.LBB20:
		.LBB21:
				movl	-8(%ebp), %eax
		.LBE21:
		.LBE20:
				nop
    7   %end
				leave
				ret
		.LFE190:
				.section	.rodata
				.align 32
		.LC0:
				.byte	2
				.string	"00"
				.zero	252
				.globl	main
		main:
		.LFB189:
    8
    9   %string(255) string = "00"
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE23:
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE22:
				subl	$4, %esp
				pushl	$255
				pushl	%eax
				leal	-796(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.LBB24:
   10
   11   my charno(string,1) = '1'   ;! <-- does not affect string
				leal	-284(%ebp), %eax
				leal	-796(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE24:
				subl	$12, %esp
				leal	-812(%ebp), %esi
				movl	%esi, -832(%ebp)
				pushl	$1
				subl	$256, %esp
				movl	%esp, %edx
				movl	%eax, %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				movl	-832(%ebp), %ecx
				call	MYCHARNO.6023
				addl	$272, %esp
				movb	$49, (%eax)
				leal	-796(%ebp), %eax
				movl	%eax, -804(%ebp)
				movl	$2, -800(%ebp)
		.LBB25:
		.LBB26:
				movl	-804(%ebp), %edx
				movl	-800(%ebp), %eax
				addl	%edx, %eax
		.LBE26:
		.LBE25:
   12   charno(string, 2) = '2'     ;! <-- *does* modify string even though the prim
				movb	$50, (%eax)
		.LBB27:
   13                                !     declaration is the same as my local one.
   14
   15   printstring(string); newline  ;! This outputs: 02
				leal	-284(%ebp), %eax
				leal	-796(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %edx
				leal	-284(%ebp), %eax
				movl	%edx, %esi
				movl	$64, %edx
				movl	%eax, %edi
				movl	%edx, %ecx
				rep movsl
		.LBE27:
		.LBB28:
		.LBB29:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-284(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
		.LBE29:
		.LBE28:
		.LBB30:
		.LBB31:
				call	_imp_newline@PLT
				movl	$0, -808(%ebp)
		.LBE31:
		.LBE30:
		.LBB32:
		.LBB33:
				subl	$12, %esp
				pushl	-808(%ebp)
				call	exit@PLT
		.LBE33:
		.LBE32:
		.LFE189:
				.section	.text.__x86.get_pc_thunk.ax,"axG",@progbits,__x86.get_pc_thunk.ax,comdat
				.globl	__x86.get_pc_thunk.ax
				.hidden	__x86.get_pc_thunk.ax
		__x86.get_pc_thunk.ax:
		.LFB191:
				movl	(%esp), %eax
				ret
		.LFE191:
				.section	.text.__x86.get_pc_thunk.bx,"axG",@progbits,__x86.get_pc_thunk.bx,comdat
				.globl	__x86.get_pc_thunk.bx
				.hidden	__x86.get_pc_thunk.bx
		__x86.get_pc_thunk.bx:
		.LFB192:
				movl	(%esp), %ebx
				ret
		.LFE192:
		.Letext0:
   16
   17 %endofprogram
   10 Statements compiled