Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.globl	main
		main:
		.LFB185:
		.LVL0:
				subq	$1304, %rsp
				movq	%fs:40, %rax
				movq	%rax, 1288(%rsp)
				xorl	%eax, %eax
    2   %string (255) a, b
				call	_imp_initialise@PLT
		.LVL1:
    3
    4   %if a < b %start
    5   %else %if a = b
    6   %else %if a < "DEF"
				leaq	256(%rsp), %rsi
				movq	%rsp, %rdi
				call	_imp_strcmp@PLT
		.LVL2:
				testl	%eax, %eax
				jns	.L10
		.L2:
		.L7:
		.LVL3:
		.LBB7:
		.LBB8:
				movl	$0, %edi
				call	exit@PLT
		.LVL4:
		.L10:
		.L3:
		.LBE8:
		.LBE7:
    7   %else %if a = "DEF"
    8   %else %if "GHI" > b
    9   %finish
				leaq	256(%rsp), %rsi
				movq	%rsp, %rdi
				call	_imp_strcmp@PLT
		.LVL5:
				testl	%eax, %eax
				je	.L7
		.L4:
				jmp	.L7
		.LFE185:
		.Letext0:
   10
				leaq	512(%rsp), %rsi
				movq	%rsp, %rdi
				call	_imp_strcmp@PLT
		.LVL6:
				testl	%eax, %eax
				js	.L7
		.L5:
   11 %endofprogram
				leaq	768(%rsp), %rsi
				movq	%rsp, %rdi
				call	_imp_strcmp@PLT
		.LVL7:
				testl	%eax, %eax
				je	.L7
		.L6:
    9 Statements compiled
				leaq	256(%rsp), %rsi
				leaq	1024(%rsp), %rdi
				call	_imp_strcmp@PLT
		.LVL8: