Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
		CHECK.6394:
		.LFB186:
		.LVL12:
				pushq	%r14
				pushq	%r13
				pushq	%r12
				pushq	%rbp
				pushq	%rbx
				subq	$7184, %rsp
				movq	%fs:40, %rax
				movq	%rax, 7176(%rsp)
				xorl	%eax, %eax
				leaq	7232(%rsp), %rax
				movq	%rax, 7168(%rsp)
    2 %owninteger Fail=0
				call	_imp_initialise@PLT
		.LVL13:
    3 %STRING(30)S,T,U
    4 %ROUTINESPEC CHECK(%STRING(30) P,Q,R)
    5       S=""; T=S
    6       PRINTSTRING("BUG0") %UNLESS T=""
    7       CHECK(S,T,"")
				leaq	512(%rsp), %rsi
				leaq	6912(%rsp), %rdi
				movl	$30, %edx
				call	_imp_strncpy@PLT
		.LVL14:
				leaq	6912(%rsp), %rbp
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	$0
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				movq	%rbp, %r10
				call	CHECK.6394
		.LVL17:
    8       S="ABCD"; T=S
				leaq	1024(%rsp), %rsi
				movq	%rbx, %rdi
				call	_imp_strcmp@PLT
		.LVL16:
				testl	%eax, %eax
				jne	.L17
		.L9:
		.LBB48:
    9       CHECK(S,T,"ABCD")
				pushq	%r12
				pushq	%r11
				pushq	%rbx
				pushq	%rcx
				pushq	%r10
				pushq	%r9
				pushq	%rdi
				pushq	%rsi
				pushq	%rdx
				pushq	%rax
				pushq	%r14
				pushq	%r13
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				movq	%rbp, %r10
				call	CHECK.6394
		.LVL22:
		.LBB50:
   10       %UNLESS "MAST"<="MEST"<="MOST" %THEN Fail=1 %and PRINTSTRING("BUG1")
				addq	$768, %rsp
				leaq	2304(%rsp), %rsi
				movl	$30, %edx
				movq	%rbp, %rdi
				call	_imp_strncpy@PLT
		.LVL18:
   11       S="MAST"; T="MEST"; U="MOST"
				movq	$809981250, 6657(%rsp)
				movq	$0, 6665(%rsp)
				leaq	6673(%rsp), %rdi
				movl	$239, %ecx
				movl	$0, %eax
				rep stosb
				movb	$4, 6656(%rsp)
				leaq	1280(%rsp), %rdi
				leaq	6656(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL38:
				movb	$4, 1280(%rsp)
				leaq	5888(%rsp), %rdi
				leaq	1280(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LBE60:
		.LBB61:
		.LBB62:
				subq	$256, %rsp
				leaq	6144(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				call	_imp_printstring@PLT
		.LVL39:
				addq	$256, %rsp
				jmp	.L9
		.LVL40:
		.L18:
		.LBE62:
		.LBE61:
		.LBB63:
				leaq	4096(%rsp), %rsi
				leaq	3840(%rsp), %rdi
		.LVL41:
				call	_imp_strcmp@PLT
		.LVL42:
				testl	%eax, %eax
				jg	.L10
		.LBE63:
				jmp	.L11
		.LVL43:
		.L19:
		.LBB64:
				leaq	256(%rsp), %rsi
				movq	%rsp, %rdi
				call	_imp_strcmp@PLT
		.LVL44:
				testl	%eax, %eax
				jg	.L12
		.LBE64:
				jmp	.L13
		.L20:
		.LVL45:
		.LBB65:
   12       %UNLESS S<=T<=U %THEN Fail=1 %and PRINTSTRING("BUG2")
				leaq	768(%rsp), %rsi
				movq	%rsp, %rbx
				movl	$30, %edx
				movq	%rbx, %rdi
				call	_imp_strncpy@PLT
		.LVL15:
   13       %if Fail=0 %then printstring("TEST OK")
				leaq	4608(%rsp), %rsi
				leaq	6912(%rsp), %rbx
				movl	$30, %edx
				movq	%rbx, %rdi
				call	_imp_strncpy@PLT
		.LVL29:
				cmpl	$0, FAIL.6387(%rip)
				je	.L20
		.L14:
		.LVL36:
		.LBB58:
		.LBB59:
				movl	$0, %edi
				call	exit@PLT
		.LVL37:
		.L17:
		.LBE59:
		.LBE58:
		.LBB60:
   14       %ROUTINE CHECK(%STRING(30) P,Q,R)
				pushq	%r14
				pushq	%r13
				pushq	%r12
				pushq	%rbx
				subq	$536, %rsp
				movq	%fs:40, %rax
				movq	%rax, 520(%rsp)
				xorl	%eax, %eax
				movabsq	$21197623525590356, %rax
				movl	$0, %edx
				movq	%rax, 6657(%rsp)
				movq	%rdx, 6665(%rsp)
				leaq	6673(%rsp), %rdi
				movl	$239, %ecx
				movl	$0, %eax
				rep stosb
				movb	$7, 6656(%rsp)
				leaq	5632(%rsp), %rdi
				leaq	6656(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL46:
				movb	$7, 5632(%rsp)
				leaq	6656(%rsp), %rdi
				leaq	5632(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LBE65:
		.LBB66:
		.LBB67:
				subq	$256, %rsp
				leaq	6912(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				call	_imp_printstring@PLT
		.LVL47:
				addq	$256, %rsp
				jmp	.L14
		.LBE67:
		.LBE66:
		.LFE185:
				.comm	FAIL.6387,4,4
		.Letext0:
   15       Fail=1 %and PRINTSTRING("CHECK FAILS") %UNLESS %C
				leaq	2048(%rsp), %rdi
				movl	$0, %ebx
				movl	$32, %ecx
				movq	%rbx, %rax
				rep stosq
		.LBE48:
				leaq	2560(%rsp), %rsi
				movq	%rsp, %rdi
				movl	$30, %edx
				call	_imp_strncpy@PLT
		.LVL19:
		.LBB49:
				addq	$768, %rsp
				leaq	3840(%rsp), %rsi
		.LVL23:
				leaq	3584(%rsp), %rdi
				call	_imp_strcmp@PLT
		.LVL24:
				testl	%eax, %eax
				jle	.L18
		.L10:
		.LBE50:
				movl	$1, FAIL.6387(%rip)
		.LVL25:
		.LBB51:
				movq	$826758466, 6657(%rsp)
				movq	$0, 6665(%rsp)
				movb	$0, 6673(%rsp)
				movw	$0, 6674(%rsp)
				movl	$0, 6676(%rsp)
				leaq	6680(%rsp), %rdi
				movl	$29, %ecx
				movl	$0, %eax
				rep stosq
				movb	$4, 6656(%rsp)
				movq	6656(%rsp), %rax
				movq	6664(%rsp), %rdx
				movq	%rax, 4352(%rsp)
				movq	%rdx, 4360(%rsp)
				movdqa	6672(%rsp), %xmm2
				movaps	%xmm2, 4368(%rsp)
				movdqa	6688(%rsp), %xmm3
				movaps	%xmm3, 4384(%rsp)
				movdqa	6704(%rsp), %xmm4
				movaps	%xmm4, 4400(%rsp)
				movdqa	6720(%rsp), %xmm5
				movaps	%xmm5, 4416(%rsp)
				movdqa	6736(%rsp), %xmm6
				movaps	%xmm6, 4432(%rsp)
				movdqa	6752(%rsp), %xmm7
				movaps	%xmm7, 4448(%rsp)
				movdqa	6768(%rsp), %xmm2
				movaps	%xmm2, 4464(%rsp)
				movdqa	6784(%rsp), %xmm3
				movaps	%xmm3, 4480(%rsp)
				movdqa	6800(%rsp), %xmm4
				movaps	%xmm4, 4496(%rsp)
				movq	6816(%rsp), %r13
				movq	6824(%rsp), %r14
				movq	%r13, 4512(%rsp)
				movq	%r14, 4520(%rsp)
				movq	6832(%rsp), %rax
				movq	6840(%rsp), %rdx
				movq	%rax, 4528(%rsp)
				movq	%rdx, 4536(%rsp)
				movq	6848(%rsp), %rcx
				movq	6856(%rsp), %rbx
				movq	%rcx, 4544(%rsp)
				movq	%rbx, 4552(%rsp)
				movq	6864(%rsp), %rsi
				movq	6872(%rsp), %rdi
				movq	%rsi, 4560(%rsp)
				movq	%rdi, 4568(%rsp)
				movq	6880(%rsp), %r9
				movq	6888(%rsp), %r10
				movq	%r9, 4576(%rsp)
				movq	%r10, 4584(%rsp)
				movq	6896(%rsp), %r11
				movq	6904(%rsp), %r12
				movq	%r11, 4592(%rsp)
				movq	%r12, 4600(%rsp)
		.LVL26:
				movb	$4, 4352(%rsp)
				movdqa	4352(%rsp), %xmm5
				movaps	%xmm5, 6144(%rsp)
				movdqa	6672(%rsp), %xmm6
				movaps	%xmm6, 6160(%rsp)
				movdqa	6688(%rsp), %xmm7
				movaps	%xmm7, 6176(%rsp)
				movdqa	6704(%rsp), %xmm0
				movaps	%xmm0, 6192(%rsp)
				movdqa	6720(%rsp), %xmm1
				movaps	%xmm1, 6208(%rsp)
				movdqa	6736(%rsp), %xmm2
				movaps	%xmm2, 6224(%rsp)
				movdqa	6752(%rsp), %xmm3
				movaps	%xmm3, 6240(%rsp)
				movdqa	6768(%rsp), %xmm4
				movaps	%xmm4, 6256(%rsp)
				movdqa	6784(%rsp), %xmm5
				movaps	%xmm5, 6272(%rsp)
				movdqa	6800(%rsp), %xmm6
				movaps	%xmm6, 6288(%rsp)
				movq	%r13, 6304(%rsp)
				movq	%r14, 6312(%rsp)
				movq	%rax, 6320(%rsp)
				movq	%rdx, 6328(%rsp)
				movq	%rcx, 6336(%rsp)
				movq	%rbx, 6344(%rsp)
				movq	%rsi, 6352(%rsp)
				movq	%rdi, 6360(%rsp)
				movq	%r9, 6368(%rsp)
				movq	%r10, 6376(%rsp)
				movq	%r11, 6384(%rsp)
				movq	%r12, 6392(%rsp)
		.LBE51:
		.LBB52:
		.LBB53:
				pushq	%r12
				pushq	%r11
				pushq	%r10
				pushq	%r9
				pushq	%rdi
				pushq	%rsi
				pushq	%rbx
				pushq	%rcx
				pushq	%rdx
				pushq	%rax
				pushq	%r14
				pushq	%r13
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	4600(%rsp)
				pushq	4600(%rsp)
				call	_imp_printstring@PLT
		.LVL27:
				addq	$256, %rsp
		.L11:
		.LVL28:
		.LBE53:
		.LBE52:
   16          P=S %AND Q=R %AND P=Q=R
   17       %END
				movq	%r10, %rsi
				leaq	576(%rsp), %rdi
				call	_imp_strcmp@PLT
		.LVL0:
				testl	%eax, %eax
				jne	.L2
				leaq	6686(%rsp), %rcx
				movq	$0, 6686(%rsp)
				movq	$0, 6904(%rsp)
				leaq	6694(%rsp), %rdi
				andq	$-8, %rdi
				subq	%rdi, %rcx
				addl	$226, %ecx
				shrl	$3, %ecx
				movl	%ecx, %ecx
				movq	%rbx, %rax
				rep stosq
		.LVL20:
				movq	$1145258561, 6657(%rsp)
				movq	$0, 6665(%rsp)
				movq	$0, 6673(%rsp)
				movl	$0, 6681(%rsp)
				movw	$0, 6685(%rsp)
				movb	$4, 6656(%rsp)
				movdqa	6656(%rsp), %xmm0
				movaps	%xmm0, 3328(%rsp)
				movdqa	6672(%rsp), %xmm1
				movaps	%xmm1, 3344(%rsp)
				movdqa	6688(%rsp), %xmm2
				movaps	%xmm2, 3360(%rsp)
				movdqa	6704(%rsp), %xmm3
				movaps	%xmm3, 3376(%rsp)
				movdqa	6720(%rsp), %xmm4
				movaps	%xmm4, 3392(%rsp)
				movdqa	6736(%rsp), %xmm5
				movaps	%xmm5, 3408(%rsp)
				movdqa	6752(%rsp), %xmm6
				movaps	%xmm6, 3424(%rsp)
				movdqa	6768(%rsp), %xmm7
				movaps	%xmm7, 3440(%rsp)
				movdqa	6784(%rsp), %xmm0
				movaps	%xmm0, 3456(%rsp)
				movdqa	6800(%rsp), %xmm1
				movaps	%xmm1, 3472(%rsp)
				movq	6816(%rsp), %r13
				movq	6824(%rsp), %r14
				movq	%r13, 3488(%rsp)
				movq	%r14, 3496(%rsp)
				movq	6832(%rsp), %rax
				movq	6840(%rsp), %rdx
				movq	%rax, 3504(%rsp)
				movq	%rdx, 3512(%rsp)
				movq	6848(%rsp), %rsi
				movq	6856(%rsp), %rdi
				movq	%rsi, 3520(%rsp)
				movq	%rdi, 3528(%rsp)
				movq	6864(%rsp), %r9
				movq	6872(%rsp), %r10
				movq	%r9, 3536(%rsp)
				movq	%r10, 3544(%rsp)
				movq	6880(%rsp), %rcx
				movq	6888(%rsp), %rbx
				movq	%rcx, 3552(%rsp)
				movq	%rbx, 3560(%rsp)
				movq	6896(%rsp), %r11
				movq	6904(%rsp), %r12
				movq	%r11, 3568(%rsp)
				movq	%r12, 3576(%rsp)
		.LVL21:
		.LBE49:
				movq	%rbp, %rsi
				movq	%rbx, %rdi
				call	_imp_strcmp@PLT
		.LVL32:
				testl	%eax, %eax
				jle	.L19
		.L12:
		.LBE54:
				movl	$1, FAIL.6387(%rip)
		.LVL33:
		.LBB55:
				movq	$843535682, 6657(%rsp)
				movq	$0, 6665(%rsp)
				movb	$0, 6673(%rsp)
				movw	$0, 6674(%rsp)
				movl	$0, 6676(%rsp)
				leaq	6680(%rsp), %rdi
				movl	$29, %ecx
				movl	$0, %eax
				rep stosq
				movb	$4, 6656(%rsp)
				movq	6656(%rsp), %rax
				movq	6664(%rsp), %rdx
				movq	%rax, 5376(%rsp)
				movq	%rdx, 5384(%rsp)
				movdqa	6672(%rsp), %xmm7
				movaps	%xmm7, 5392(%rsp)
				movdqa	6688(%rsp), %xmm0
				movaps	%xmm0, 5408(%rsp)
				movdqa	6704(%rsp), %xmm1
				movaps	%xmm1, 5424(%rsp)
				movdqa	6720(%rsp), %xmm2
				movaps	%xmm2, 5440(%rsp)
				movdqa	6736(%rsp), %xmm3
				movaps	%xmm3, 5456(%rsp)
				movdqa	6752(%rsp), %xmm4
				movaps	%xmm4, 5472(%rsp)
				movdqa	6768(%rsp), %xmm5
				movaps	%xmm5, 5488(%rsp)
				movdqa	6784(%rsp), %xmm6
				movaps	%xmm6, 5504(%rsp)
				movdqa	6800(%rsp), %xmm7
				movaps	%xmm7, 5520(%rsp)
				movq	6816(%rsp), %r13
				movq	6824(%rsp), %r14
				movq	%r13, 5536(%rsp)
				movq	%r14, 5544(%rsp)
				movq	6832(%rsp), %rax
				movq	6840(%rsp), %rdx
				movq	%rax, 5552(%rsp)
				movq	%rdx, 5560(%rsp)
				movq	6848(%rsp), %rcx
				movq	6856(%rsp), %rbx
				movq	%rcx, 5568(%rsp)
				movq	%rbx, 5576(%rsp)
				movq	6864(%rsp), %rsi
				movq	6872(%rsp), %rdi
				movq	%rsi, 5584(%rsp)
				movq	%rdi, 5592(%rsp)
				movq	6880(%rsp), %r9
				movq	6888(%rsp), %r10
				movq	%r9, 5600(%rsp)
				movq	%r10, 5608(%rsp)
				movq	6896(%rsp), %r11
				movq	6904(%rsp), %r12
				movq	%r11, 5616(%rsp)
				movq	%r12, 5624(%rsp)
		.LVL34:
				movb	$4, 5376(%rsp)
				movdqa	5376(%rsp), %xmm0
				movaps	%xmm0, 6400(%rsp)
				movdqa	6672(%rsp), %xmm1
				movaps	%xmm1, 6416(%rsp)
				movdqa	6688(%rsp), %xmm2
				movaps	%xmm2, 6432(%rsp)
				movdqa	6704(%rsp), %xmm3
				movaps	%xmm3, 6448(%rsp)
				movdqa	6720(%rsp), %xmm4
				movaps	%xmm4, 6464(%rsp)
				movdqa	6736(%rsp), %xmm5
				movaps	%xmm5, 6480(%rsp)
				movdqa	6752(%rsp), %xmm6
				movaps	%xmm6, 6496(%rsp)
				movdqa	6768(%rsp), %xmm7
				movaps	%xmm7, 6512(%rsp)
				movdqa	6784(%rsp), %xmm0
				movaps	%xmm0, 6528(%rsp)
				movdqa	6800(%rsp), %xmm1
				movaps	%xmm1, 6544(%rsp)
				movq	%r13, 6560(%rsp)
				movq	%r14, 6568(%rsp)
				movq	%rax, 6576(%rsp)
				movq	%rdx, 6584(%rsp)
				movq	%rcx, 6592(%rsp)
				movq	%rbx, 6600(%rsp)
				movq	%rsi, 6608(%rsp)
				movq	%rdi, 6616(%rsp)
				movq	%r9, 6624(%rsp)
				movq	%r10, 6632(%rsp)
				movq	%r11, 6640(%rsp)
				movq	%r12, 6648(%rsp)
		.LBE55:
		.LBB56:
		.LBB57:
				pushq	%r12
				pushq	%r11
				pushq	%r10
				pushq	%r9
				pushq	%rdi
				pushq	%rsi
				pushq	%rbx
				pushq	%rcx
				pushq	%rdx
				pushq	%rax
				pushq	%r14
				pushq	%r13
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	6904(%rsp)
				pushq	5624(%rsp)
				pushq	5624(%rsp)
				call	_imp_printstring@PLT
		.LVL35:
				addq	$256, %rsp
		.L13:
		.LBE57:
		.LBE56:
   18 %ENDOFPROGRAM
				movq	520(%rsp), %rax
				xorq	%fs:40, %rax
				jne	.L7
				addq	$536, %rsp
				popq	%rbx
				popq	%r12
				popq	%r13
				popq	%r14
				ret
		.L6:
		.LVL5:
		.LBB47:
				leaq	832(%rsp), %rsi
		.LVL6:
				leaq	576(%rsp), %rdi
				call	_imp_strcmp@PLT
		.LVL7:
				testl	%eax, %eax
				jne	.L2
				leaq	1088(%rsp), %rsi
				leaq	832(%rsp), %rdi
		.LVL8:
				call	_imp_strcmp@PLT
		.LVL9:
				testl	%eax, %eax
				jne	.L2
		.LBE47:
				jmp	.L1
		.LVL10:
		.L7:
				call	__stack_chk_fail@PLT
		.LVL11:
		.LFE186:
				.globl	main
		main:
		.LFB185:
				leaq	4864(%rsp), %rsi
				movq	%rsp, %rbp
				movl	$30, %edx
				movq	%rbp, %rdi
				call	_imp_strncpy@PLT
		.LVL30:
				leaq	5120(%rsp), %rsi
				leaq	256(%rsp), %rdi
				movl	$30, %edx
				call	_imp_strncpy@PLT
		.LVL31:
		.LBB54:
   21 Statements compiled
				leaq	1088(%rsp), %rsi
				leaq	832(%rsp), %rdi
				call	_imp_strcmp@PLT
		.LVL1:
				testl	%eax, %eax
				je	.L6
		.L2:
				movl	$1, FAIL.6387(%rip)
		.LVL2:
		.LBB44:
				movabsq	$4703482368458311747, %rax
				movl	$5459017, %edx
				movq	%rax, 257(%rsp)
				movq	%rdx, 265(%rsp)
				movb	$0, 273(%rsp)
				movw	$0, 274(%rsp)
				movl	$0, 276(%rsp)
				leaq	280(%rsp), %rdi
				movl	$29, %ecx
				movl	$0, %eax
				rep stosq
				movb	$11, 256(%rsp)
				movq	256(%rsp), %rax
				movq	264(%rsp), %rdx
				movq	%rax, (%rsp)
				movq	%rdx, 8(%rsp)
				movdqa	272(%rsp), %xmm0
				movaps	%xmm0, 16(%rsp)
				movdqa	288(%rsp), %xmm1
				movaps	%xmm1, 32(%rsp)
				movdqa	304(%rsp), %xmm2
				movaps	%xmm2, 48(%rsp)
				movdqa	320(%rsp), %xmm3
				movaps	%xmm3, 64(%rsp)
				movdqa	336(%rsp), %xmm4
				movaps	%xmm4, 80(%rsp)
				movdqa	352(%rsp), %xmm5
				movaps	%xmm5, 96(%rsp)
				movdqa	368(%rsp), %xmm6
				movaps	%xmm6, 112(%rsp)
				movdqa	384(%rsp), %xmm7
				movaps	%xmm7, 128(%rsp)
				movdqa	400(%rsp), %xmm0
				movaps	%xmm0, 144(%rsp)
				movdqa	416(%rsp), %xmm1
				movaps	%xmm1, 160(%rsp)
				movq	432(%rsp), %r13
				movq	440(%rsp), %r14
				movq	%r13, 176(%rsp)
				movq	%r14, 184(%rsp)
				movq	448(%rsp), %rsi
				movq	456(%rsp), %rdi
				movq	%rsi, 192(%rsp)
				movq	%rdi, 200(%rsp)
				movq	464(%rsp), %r9
				movq	472(%rsp), %r10
				movq	%r9, 208(%rsp)
				movq	%r10, 216(%rsp)
				movq	480(%rsp), %rcx
				movq	488(%rsp), %rbx
				movq	%rcx, 224(%rsp)
				movq	%rbx, 232(%rsp)
				movq	496(%rsp), %r11
				movq	504(%rsp), %r12
				movq	%r11, 240(%rsp)
				movq	%r12, 248(%rsp)
		.LVL3:
				movb	$11, (%rsp)
				movq	(%rsp), %rax
				movq	8(%rsp), %rdx
				movq	%rax, 256(%rsp)
				movq	%rdx, 264(%rsp)
		.LBE44:
		.LBB45:
		.LBB46:
				pushq	%r12
				pushq	%r11
				pushq	%rbx
				pushq	%rcx
				pushq	%r10
				pushq	%r9
				pushq	%rdi
				pushq	%rsi
				pushq	%r14
				pushq	%r13
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	%rdx
				pushq	%rax
				call	_imp_printstring@PLT
		.LVL4:
				addq	$256, %rsp
		.L3:
		.L1:
		.LBE46:
		.LBE45: