// File: rellla[P]E3DC-Rscp/AES.cpp
// Function: (anonymous namespace)::CheckLargeTables(bool)
bool CheckLargeTables(bool create)
	{
	unsigned int i;
	unsigned char a1,a2,a3,b1,b2,b3,b4,b5;
	for (i = 0; i < 256; i++)
		{
		a1 = byte_sub[i];
		a2 = xmult(a1);
		a3 = a2^a1;

		b5 = inv_byte_sub[i];
		b1 = GF2_8_mult(0x0E,b5);
		b2 = GF2_8_mult(0x09,b5);
		b3 = GF2_8_mult(0x0D,b5);
		b4 = GF2_8_mult(0x0B,b5);

		if (create == true)
			{
			T0[i] = VEC4(a2,a1,a1,a3);
			T1[i] = RotByteL(T0[i]);
			T2[i] = RotByteL(T1[i]);
			T3[i] = RotByteL(T2[i]);

			T4[i] = VEC4(a1,0,0,0); // identity
			T5[i] = RotByteL(T4[i]);
			T6[i] = RotByteL(T5[i]);
			T7[i] = RotByteL(T6[i]);

			I0[i] = VEC4(b1,b2,b3,b4);
			I1[i] = RotByteL(I0[i]);
			I2[i] = RotByteL(I1[i]);
			I3[i] = RotByteL(I2[i]);

			I4[i] = VEC4(b5,0,0,0); // identity
			I5[i] = RotByteL(I4[i]);
			I6[i] = RotByteL(I5[i]);
			I7[i] = RotByteL(I6[i]);
			}
		else
			{
			if (T0[i] != VEC4(a2,a1,a1,a3))
				return false;
			if (T1[i] != RotByteL(T0[i]))
				return false;
			if (T2[i] != RotByteL(T1[i]))
				return false;
			if (T3[i] != RotByteL(T2[i]))
				return false;
			if (T4[i] != VEC4(a1,0,0,0))
				return false;
			if (T5[i] != RotByteL(T4[i]))
				return false;
			if (T6[i] != RotByteL(T5[i]))
				return false;
			if (T7[i] != RotByteL(T6[i]))
				return false;
			if (I0[i] != VEC4(b1,b2,b3,b4))
				return false;
			if (I1[i] != RotByte(I0[i]))
				return false;
			if (I2[i] != RotByte(I1[i]))
				return false;
			if (I3[i] != RotByte(I2[i]))
				return false;
			if (I4[i] != VEC4(b5,0,0,0))
				return false;
			if (I5[i] != RotByteL(I4[i]))
				return false;
			if (I6[i] != RotByteL(I5[i]))
				return false;
			if (I7[i] != RotByteL(I6[i]))
				return false;
			}
		}
	return true;
	}

// Assembly:
subq $0x18, %rsp
movb %dil, %al
andb $0x1, %al
movb %al, 0x16(%rsp)
movl $0x0, 0x10(%rsp)
cmpl $0x100, 0x10(%rsp)      # imm = 0x100
jae 0x1f429
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xddd0(%rip), %rax      # 0x2c900
movb (%rax,%rcx), %al
movb %al, 0xf(%rsp)
movzbl 0xf(%rsp), %eax
shll %eax
movzbl 0xf(%rsp), %esi
andl $0x80, %esi
xorl %ecx, %ecx
movl $0x1b, %edx
cmpl $0x0, %esi
cmovnel %edx, %ecx
xorl %ecx, %eax
movb %al, 0xe(%rsp)
movzbl 0xe(%rsp), %eax
movzbl 0xf(%rsp), %ecx
xorl %ecx, %eax
movb %al, 0xd(%rsp)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xdf87(%rip), %rax      # 0x2cb00
movb (%rax,%rcx), %al
movb %al, 0x8(%rsp)
movl $0xe, %edi
movzbl 0x8(%rsp), %esi
callq 0x14a40
movb %al, 0xc(%rsp)
movl $0x9, %edi
movzbl 0x8(%rsp), %esi
callq 0x14a40
movb %al, 0xb(%rsp)
movl $0xd, %edi
movzbl 0x8(%rsp), %esi
callq 0x14a40
movb %al, 0xa(%rsp)
movl $0xb, %edi
movzbl 0x8(%rsp), %esi
callq 0x14a40
movb %al, 0x9(%rsp)
movb 0x16(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x1, %eax
jne 0x1ef8b
movzbl 0xe(%rsp), %eax
movl %eax, %edx
movzbl 0xf(%rsp), %eax
shlq $0x8, %rax
orq %rax, %rdx
movzbl 0xf(%rsp), %eax
shlq $0x10, %rax
orq %rax, %rdx
movzbl 0xd(%rsp), %eax
shlq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x5cda(%rip), %rax      # 0x248f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x5cc9(%rip), %rax      # 0x248f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x5cb4(%rip), %rax      # 0x248f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x649c(%rip), %rax      # 0x250f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x648b(%rip), %rax      # 0x250f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x6476(%rip), %rax      # 0x250f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x6c5e(%rip), %rax      # 0x258f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x6c4d(%rip), %rax      # 0x258f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x6c38(%rip), %rax      # 0x258f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x7420(%rip), %rax      # 0x260f0
movq %rdx, (%rax,%rcx,8)
movzbl 0xf(%rsp), %eax
movl %eax, %edx
orq $0x0, %rdx
orq $0x0, %rdx
orq $0x0, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x7bfc(%rip), %rax      # 0x268f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x7beb(%rip), %rax      # 0x268f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x7bd6(%rip), %rax      # 0x268f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x83be(%rip), %rax      # 0x270f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x83ad(%rip), %rax      # 0x270f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x8398(%rip), %rax      # 0x270f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x8b80(%rip), %rax      # 0x278f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x8b6f(%rip), %rax      # 0x278f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x8b5a(%rip), %rax      # 0x278f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x9342(%rip), %rax      # 0x280f0
movq %rdx, (%rax,%rcx,8)
movzbl 0xc(%rsp), %eax
movl %eax, %edx
movzbl 0xb(%rsp), %eax
shlq $0x8, %rax
orq %rax, %rdx
movzbl 0xa(%rsp), %eax
shlq $0x10, %rax
orq %rax, %rdx
movzbl 0x9(%rsp), %eax
shlq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x9b06(%rip), %rax      # 0x288f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x9af5(%rip), %rax      # 0x288f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x9ae0(%rip), %rax      # 0x288f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xa2c8(%rip), %rax      # 0x290f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xa2b7(%rip), %rax      # 0x290f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xa2a2(%rip), %rax      # 0x290f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xaa8a(%rip), %rax      # 0x298f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xaa79(%rip), %rax      # 0x298f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xaa64(%rip), %rax      # 0x298f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xb24c(%rip), %rax      # 0x2a0f0
movq %rdx, (%rax,%rcx,8)
movzbl 0x8(%rsp), %eax
movl %eax, %edx
orq $0x0, %rdx
orq $0x0, %rdx
orq $0x0, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xba28(%rip), %rax      # 0x2a8f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xba17(%rip), %rax      # 0x2a8f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xba02(%rip), %rax      # 0x2a8f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xc1ea(%rip), %rax      # 0x2b0f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xc1d9(%rip), %rax      # 0x2b0f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xc1c4(%rip), %rax      # 0x2b0f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xc9ac(%rip), %rax      # 0x2b8f0
movq %rdx, (%rax,%rcx,8)
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xc99b(%rip), %rax      # 0x2b8f0
movq (%rax,%rcx,8), %rdx
shlq $0x8, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xc986(%rip), %rax      # 0x2b8f0
movq (%rax,%rcx,8), %rax
shrq $0x18, %rax
orq %rax, %rdx
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xd16e(%rip), %rax      # 0x2c0f0
movq %rdx, (%rax,%rcx,8)
jmp 0x1f417
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x5958(%rip), %rax      # 0x248f0
movq (%rax,%rcx,8), %rax
movzbl 0xe(%rsp), %ecx
movzbl 0xf(%rsp), %edx
shlq $0x8, %rdx
orq %rdx, %rcx
movzbl 0xf(%rsp), %edx
shlq $0x10, %rdx
orq %rdx, %rcx
movzbl 0xd(%rsp), %edx
shlq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1efd4
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x610f(%rip), %rax      # 0x250f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0x58fe(%rip), %rcx      # 0x248f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0x58e9(%rip), %rdx      # 0x248f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f021
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x68c2(%rip), %rax      # 0x258f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0x60b1(%rip), %rcx      # 0x250f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0x609c(%rip), %rdx      # 0x250f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f06e
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x7075(%rip), %rax      # 0x260f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0x6864(%rip), %rcx      # 0x258f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0x684f(%rip), %rdx      # 0x258f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f0bb
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x7828(%rip), %rax      # 0x268f0
movq (%rax,%rcx,8), %rax
movzbl 0xf(%rsp), %ecx
orq $0x0, %rcx
orq $0x0, %rcx
orq $0x0, %rcx
cmpq %rcx, %rax
je 0x1f0ec
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x7ff7(%rip), %rax      # 0x270f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0x77e6(%rip), %rcx      # 0x268f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0x77d1(%rip), %rdx      # 0x268f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f139
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x87aa(%rip), %rax      # 0x278f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0x7f99(%rip), %rcx      # 0x270f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0x7f84(%rip), %rdx      # 0x270f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f186
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x8f5d(%rip), %rax      # 0x280f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0x874c(%rip), %rcx      # 0x278f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0x8737(%rip), %rdx      # 0x278f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f1d3
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x9710(%rip), %rax      # 0x288f0
movq (%rax,%rcx,8), %rax
movzbl 0xc(%rsp), %ecx
movzbl 0xb(%rsp), %edx
shlq $0x8, %rdx
orq %rdx, %rcx
movzbl 0xa(%rsp), %edx
shlq $0x10, %rdx
orq %rdx, %rcx
movzbl 0x9(%rsp), %edx
shlq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f21c
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x9ec7(%rip), %rax      # 0x290f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0x96b6(%rip), %rcx      # 0x288f0
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0x96a1(%rip), %rdx      # 0x288f0
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f269
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xa67a(%rip), %rax      # 0x298f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0x9e69(%rip), %rcx      # 0x290f0
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0x9e54(%rip), %rdx      # 0x290f0
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f2b6
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xae2d(%rip), %rax      # 0x2a0f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0xa61c(%rip), %rcx      # 0x298f0
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0xa607(%rip), %rdx      # 0x298f0
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f303
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xb5e0(%rip), %rax      # 0x2a8f0
movq (%rax,%rcx,8), %rax
movzbl 0x8(%rsp), %ecx
orq $0x0, %rcx
orq $0x0, %rcx
orq $0x0, %rcx
cmpq %rcx, %rax
je 0x1f334
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xbdaf(%rip), %rax      # 0x2b0f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0xb59e(%rip), %rcx      # 0x2a8f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0xb589(%rip), %rdx      # 0x2a8f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f381
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xc562(%rip), %rax      # 0x2b8f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0xbd51(%rip), %rcx      # 0x2b0f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0xbd3c(%rip), %rdx      # 0x2b0f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f3cb
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
movl 0x10(%rsp), %eax
movl %eax, %ecx
leaq 0xcd18(%rip), %rax      # 0x2c0f0
movq (%rax,%rcx,8), %rax
movl 0x10(%rsp), %ecx
movl %ecx, %edx
leaq 0xc507(%rip), %rcx      # 0x2b8f0
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movl 0x10(%rsp), %edx
movl %edx, %esi
leaq 0xc4f2(%rip), %rdx      # 0x2b8f0
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
cmpq %rcx, %rax
je 0x1f415
movb $0x0, 0x17(%rsp)
jmp 0x1f42e
jmp 0x1f417
jmp 0x1f419
movl 0x10(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x10(%rsp)
jmp 0x1eb15
movb $0x1, 0x17(%rsp)
movb 0x17(%rsp), %al
andb $0x1, %al
addq $0x18, %rsp
retq
nopl (%rax)