Edinburgh IMP77 Compiler - Version 8.4
    1 !%permroutinespec    write(%integer  v,p);
		.Ltext0:
		TEST.6388:
		.LFB186:
    2 !%permroutinespec    newline
    3 !%primintegerfnspec      addr(%name p)
    4 !%primintegerfnspec      typeof(%name n)
    5 !%primintegerfnspec      sizeof(%name n)
    6
    7 %begin
		.LVL7:
				pushq	%rbx
				subq	$80, %rsp
				movq	%fs:40, %rax
				movq	%rax, 72(%rsp)
				xorl	%eax, %eax
    8   %routine test(%name param)
		.LVL0:
				subq	$8, %rsp
				call	_imp_initialise@PLT
		.LVL8:
    9     write(addr(param),0)  ; newline
				movl	$0, %esi
				call	_imp_writelong@PLT
		.LVL1:
		.LBB36:
		.LBB37:
				call	_imp_newline@PLT
		.LVL2:
		.LBE37:
		.LBE36:
   10     write(sizeof(param),0); newline
				movl	$0, %esi
				movl	$16, %edi
				call	_imp_writelong@PLT
		.LVL3:
		.LBB38:
		.LBB39:
				call	_imp_newline@PLT
		.LVL4:
		.LBE39:
		.LBE38:
   11     write(typeof(param),0); newline
				movl	$0, %esi
				movl	$4, %edi
				call	_imp_writeint@PLT
		.LVL5:
		.LBB40:
		.LBB41:
				call	_imp_newline@PLT
		.LVL6:
		.LBE41:
		.LBE40:
   12   %end
   13
				addq	$8, %rsp
				ret
		.LFE186:
				.globl	main
		main:
		.LFB185:
   14   %integerarray ia1(3:5)
   15
   16   %integerarray ia2(2:4,3:6)
   17
   18
   19   write(addr(ia1),0)  ; newline
				leaq	4(%rsp), %rbx
				movl	$0, %esi
				movq	%rbx, %rdi
				call	_imp_writelong@PLT
		.LVL9:
		.LBB42:
		.LBB43:
				call	_imp_newline@PLT
		.LVL10:
		.LBE43:
		.LBE42:
   20   write(addr(ia1(3)),0)  ; newline
				movl	$0, %esi
				movq	%rbx, %rdi
				call	_imp_writelong@PLT
		.LVL11:
		.LBB44:
		.LBB45:
				call	_imp_newline@PLT
		.LVL12:
		.LBE45:
		.LBE44:
   21   write(sizeof(ia1),0); newline
				movl	$0, %esi
				movl	$4, %edi
				call	_imp_writelong@PLT
		.LVL13:
		.LBB46:
		.LBB47:
				call	_imp_newline@PLT
		.LVL14:
		.LBE47:
		.LBE46:
   22   write(typeof(ia1),0); newline
				movl	$0, %esi
				movl	$1, %edi
				call	_imp_writeint@PLT
		.LVL15:
		.LBB48:
		.LBB49:
				call	_imp_newline@PLT
		.LVL16:
		.LBE49:
		.LBE48:
   23   test(ia1)
				movq	%rbx, %rdi
				call	TEST.6388
		.LVL17:
   24
   25   write(addr(ia2),0)  ; newline
				leaq	16(%rsp), %rbx
				movl	$0, %esi
				movq	%rbx, %rdi
				call	_imp_writelong@PLT
		.LVL18:
		.LBB50:
		.LBB51:
				call	_imp_newline@PLT
		.LVL19:
		.LBE51:
		.LBE50:
   26   write(addr(ia2(2,3)),0)  ; newline
				movl	$0, %esi
				movq	%rbx, %rdi
				call	_imp_writelong@PLT
		.LVL20:
		.LBB52:
		.LBB53:
				call	_imp_newline@PLT
		.LVL21:
		.LBE53:
		.LBE52:
   27   write(sizeof(ia2),0); newline
				movl	$0, %esi
				movl	$16, %edi
				call	_imp_writelong@PLT
		.LVL22:
		.LBB54:
		.LBB55:
				call	_imp_newline@PLT
		.LVL23:
		.LBE55:
		.LBE54:
   28   write(typeof(ia2),0); newline
				movl	$0, %esi
				movl	$4, %edi
				call	_imp_writeint@PLT
		.LVL24:
		.LBB56:
		.LBB57:
				call	_imp_newline@PLT
		.LVL25:
		.LBE57:
		.LBE56:
   29   test(ia2)
				movq	%rbx, %rdi
				call	TEST.6388
		.LVL26:
		.LBB58:
		.LBB59:
				movl	$0, %edi
				call	exit@PLT
		.LVL27:
		.LBE59:
		.LBE58:
		.LFE185:
		.Letext0:
   30
   31 %endofprogram
   30 Statements compiled