Edinburgh IMP77 Compiler - Version 8.4
    1 ! check that sizeof/typeof was giving the expected value
				.machine ppc
				.section	".text"
		.Ltext0:
				.align 2
		TEST.6985:
		.LFB186:
    2 %begin
		.LVL7:
				stwu 1,-1424(1)
				mflr 0
				stw 0,1428(1)
				stw 31,1420(1)
				lwz 9,-28680(2)
				stw 9,1404(1)
				li 9,0
    3   %routine test(%name param)         ;! ia1          ia2
		.LVL0:
				stwu 1,-16(1)
				mflr 0
				stw 0,20(1)
				bl _imp_initialise
		.LVL8:
		.LBB52:
    4     write(addr(param),0)  ; newline  ;! 2145833816   2145833816
				li 4,0
				bl _imp_writeint
		.LVL1:
		.LBB46:
		.LBB47:
				bl _imp_newline
		.LVL2:
		.LBE47:
		.LBE46:
    5     write(sizeof(param),0); newline  ;! 1            8             1 is sizeof %byte, 8 is sizeof %longreal
				li 4,0
				li 3,12
				bl _imp_writeint
		.LVL3:
		.LBB48:
		.LBB49:
				bl _imp_newline
		.LVL4:
		.LBE49:
		.LBE48:
    6     write(typeof(param),0); newline  ;! 5            8             5 is typeof %byte, 8 is typeof %longreal
				li 4,0
				li 3,4
				bl _imp_writeint
		.LVL5:
		.LBB50:
		.LBB51:
				bl _imp_newline
		.LVL6:
		.LBE51:
		.LBE50:
    7   %end
    8
				lwz 0,20(1)
				mtlr 0
				addi 1,1,16
				blr
		.LFE186:
				.align 2
				.globl main
		main:
		.LFB185:
    9   %bytearray ia1(3:5)
   10   %longrealarray ia2(2:4,3:6)
   11
   12   printstring( "Testing ia1"); newline
				lis 31,.LANCHOR0@ha
				la 31,.LANCHOR0@l(31)
				li 5,256
				mr 4,31
				addi 3,1,1144
				bl memcpy
		.LVL9:
				li 5,256
				addi 4,1,1144
				addi 3,1,376
				bl memcpy
		.LVL10:
				li 5,256
				addi 4,1,376
				addi 3,1,1144
				bl memcpy
		.LVL11:
		.LBE52:
		.LBB53:
		.LBB54:
				li 5,256
				addi 4,1,1144
				addi 3,1,16
				bl memcpy
		.LVL12:
				addi 3,1,16
				bl _imp_printstring
		.LVL13:
		.LBE54:
		.LBE53:
		.LBB55:
		.LBB56:
				bl _imp_newline
		.LVL14:
		.LBE56:
		.LBE55:
   13   write(addr(ia1),0); newline     ;! 2145833816
				li 4,0
				addi 3,1,1400
				bl _imp_writeint
		.LVL15:
		.LBB57:
		.LBB58:
				bl _imp_newline
		.LVL16:
		.LBE58:
		.LBE57:
   14   write(addr(ia1(3)),0); newline  ;! 2145833704
				li 4,0
				addi 3,1,1400
				bl _imp_writeint
		.LVL17:
		.LBB59:
		.LBB60:
				bl _imp_newline
		.LVL18:
		.LBE60:
		.LBE59:
   15   write(sizeof(ia1),0); newline   ;! 1                sizeof %btre
				li 4,0
				li 3,1
				bl _imp_writeint
		.LVL19:
		.LBB61:
		.LBB62:
				bl _imp_newline
		.LVL20:
		.LBE62:
		.LBE61:
   16   write(typeof(ia1),0); newline   ;! 5                typeof %byte
				li 4,0
				li 3,5
				bl _imp_writeint
		.LVL21:
		.LBB63:
		.LBB64:
				bl _imp_newline
		.LVL22:
		.LBE64:
		.LBE63:
   17   test(ia1)
				addi 3,1,1400
				bl TEST.6985
		.LVL23:
		.LBB65:
   18
   19   printstring( "Testing ia2"); newline
				li 5,256
				addi 4,31,256
				addi 3,1,888
				bl memcpy
		.LVL24:
				li 5,256
				addi 4,1,888
				addi 3,1,632
				bl memcpy
		.LVL25:
				li 5,256
				addi 4,1,632
				addi 3,1,888
				bl memcpy
		.LVL26:
		.LBE65:
		.LBB66:
		.LBB67:
				li 5,256
				addi 4,1,888
				addi 3,1,16
				bl memcpy
		.LVL27:
				addi 3,1,16
				bl _imp_printstring
		.LVL28:
		.LBE67:
		.LBE66:
		.LBB68:
		.LBB69:
				bl _imp_newline
		.LVL29:
		.LBE69:
		.LBE68:
   20   write(addr(ia2),0); newline      ;! 2145833816
				li 4,0
				addi 3,1,280
				bl _imp_writeint
		.LVL30:
		.LBB70:
		.LBB71:
				bl _imp_newline
		.LVL31:
		.LBE71:
		.LBE70:
   21   write(addr(ia2(2,3)),0); newline ;! 2145833708      4 bytes after address of first element of ia1, i.e. ia1(3)
				li 4,0
				addi 3,1,280
				bl _imp_writeint
		.LVL32:
		.LBB72:
		.LBB73:
				bl _imp_newline
		.LVL33:
		.LBE73:
		.LBE72:
   22                                     !                 which is 3 %byteinteger elements of 1 byte each, aligned to next 4 bytes.
   23   write(sizeof(ia2),0); newline    ;! 8               sizeof %longreal
				li 4,0
				li 3,32
				bl _imp_writeint
		.LVL34:
		.LBB74:
		.LBB75:
				bl _imp_newline
		.LVL35:
		.LBE75:
		.LBE74:
   24   write(typeof(ia2),0); newline    ;! 8               typeof %longreal
				li 4,0
				li 3,4
				bl _imp_writeint
		.LVL36:
		.LBB76:
		.LBB77:
				bl _imp_newline
		.LVL37:
		.LBE77:
		.LBE76:
   25   test(ia2)
				addi 3,1,280
				bl TEST.6985
		.LVL38:
		.LBB78:
		.LBB79:
				li 3,0
				bl exit
		.LVL39:
		.LBE79:
		.LBE78:
		.LFE185:
				.section	.rodata
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	11
				.string	"Testing ia1"
				.zero	243
		.LC1:
				.byte	11
				.string	"Testing ia2"
				.zero	243
				.section	".text"
		.Letext0:
   26
   27 %endofprogram
   34 Statements compiled