Edinburgh IMP77 Compiler - Version 8.4
    1 !
		.Ltext0:
				.globl	next_free_bound_index
				.bss
				.align 4
		next_free_bound_index:
				.zero	4
				.comm	_lb,384,32
				.comm	_ub,384,32
				.section	.rodata
				.align 32
		.LC0:
				.byte	15
				.string	"sizeof(this) = "
				.zero	239
		DOSOMETHINGNESTED.6025:
		.LFB190:
    2 ! Care has to be taken both to detect the missing %recordformatspec,
    3 ! and to insert it in the output at the right level!
    4 !
    5
    6 %begin
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				pushl	%ecx
				subl	$32, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -28(%ebp)
				movl	%gs:20, %ecx
				movl	%ecx, -12(%ebp)
				xorl	%ecx, %ecx
				leal	8(%ebp), %edx
				movl	%edx, -20(%ebp)
				subl	$8, %esp
				pushl	-28(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    7
    8   %recordformatspec RECFM                                              ;! <--- *should* be re-inserted here
    9
   10   %routine DO SOMETHING NESTED
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$556, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, -556(%ebp)
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
		.LBB9:
   11                                                                         ! <--- don't want it to be reinserted here!
   12     %recordformat LISTFM(%integer val, %record (RECFM) %name LINK)
   13
   14     %own %record (LISTFM) this
   15
   16     print string("sizeof(this) = "); write(sizeof(this), 0); newline
				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
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE9:
		.LBB10:
		.LBB11:
				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
		.LBE11:
		.LBE10:
				subl	$8, %esp
				pushl	$0
				pushl	$8
				call	_imp_writeint@PLT
				addl	$16, %esp
		.LBB12:
		.LBB13:
				call	_imp_newline@PLT
		.LBE13:
		.LBE12:
   17
   18   %end
				nop
				movl	-28(%ebp), %eax
				xorl	%gs:20, %eax
				je	.L3
				call	__stack_chk_fail_local
		.L3:
				leal	-12(%ebp), %esp
				popl	%ebx
				popl	%esi
				popl	%edi
				popl	%ebp
				ret
		.LFE190:
				.globl	main
		main:
		.LFB189:
   19
   20   %recordformat RECFM(%integer I, J)                                   ;! <--- this is what determines the scoping level where recordformatspec is re-inserted
   21
   22   DO SOMETHING NESTED
				leal	-20(%ebp), %eax
				movl	%eax, %ecx
				call	DOSOMETHINGNESTED.6025
				movl	$0, -16(%ebp)
		.LBB14:
		.LBB15:
				subl	$12, %esp
				pushl	-16(%ebp)
				call	exit@PLT
		.LBE15:
		.LBE14:
		.LFE189:
				.comm	THIS.6035,8,4
				.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:
		.LFB191:
				movl	(%esp), %ebx
				ret
		.LFE191:
		.Letext0:
   23
   24 %endofprogram
?RECFM unused
   12 Statements compiled