Function at 0x408ff0
Capabilities:
Terminate process

Disassembly:
push ecx
push ebx
call fcn.0040e910
xor ebx, ebx
cmp eax, ebx
mov dword [0x427f40], eax
jne 0x409007
xor eax, eax
pop ebx
pop ecx
ret
mov dword [eax + 0x1c], ebx
mov eax, dword [0x427f40]
mov dword [eax + 0x20], ebx
mov eax, dword [0x427f40]
push edi
mov edi, 1
add dword [eax + 0x1c], edi
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x1c]
mov dword [eax + ecx*4 + 0x20], 0x1d
mov edx, dword [0x427f40]
mov dword [edx + 0x228], ebx
mov eax, dword [0x427f40]
mov dword [eax + 0x164], ebx
mov ecx, dword [0x427f40]
mov dword [ecx + 0x16c], ebx
mov edx, dword [0x427f40]
mov dword [edx + 0x18c], ebx
mov eax, dword [0x427f40]
mov dword [eax + 0x14], ebx
mov ecx, dword [0x427f40]
mov dword [ecx + 0x1bc], ebx
mov edx, dword [0x427f40]
mov dword [edx + 0x1c0], ebx
mov eax, dword [0x427f40]
mov dword [eax + 0x1c4], ebx
mov ecx, dword [0x427f40]
mov eax, dword [esp + 0x14]
cmp eax, edi
mov dword [ecx + 0x158], ebx
mov edx, dword [0x427f40]
mov dword [edx + 0x148], ebx
je 0x409862
cmp eax, 0x80000000
ja 0x409862
push eax
call fcn.00407ba0
mov ecx, dword [0x427f40]
mov eax, dword [ecx]
mov dword [ecx + 0xc], ebx
mov ecx, dword [0x427f40]
add esp, 4
cmp eax, ebx
mov dword [ecx + 0x10], edi
jne 0x4090f1
mov edx, dword [0x427f40]
mov dword [edx + 0xc], 0x20
mov eax, dword [0x427f40]
mov dword [eax + 0x10], ebx
jmp 0x40911d
cmp eax, edi
jbe 0x40911d
jmp 0x409100
mov ecx, dword [0x427f40]
add dword [ecx + 0xc], edi
mov ecx, dword [0x427f40]
mov edx, dword [ecx + 0x10]
shr eax, 1
add edx, edx
cmp eax, edi
mov dword [ecx + 0x10], edx
ja 0x409100
mov eax, dword [esp + 0x10]
cmp eax, ebx
push esi
mov esi, dword [0x427f40]
jle 0x409139
add eax, 0xffffffff
cdq
idiv dword [esi + 8]
mov ecx, eax
add ecx, edi
jmp 0x409148
lea eax, [eax*8 + 1]
cdq
idiv dword [esi + 0xc]
mov ecx, edi
sub ecx, eax
cmp ecx, edi
jae 0x40914e
mov ecx, edi
add ecx, edi
mov dword [esi + 0x18], ecx
mov eax, dword [0x427f40]
mov dword [eax + 0x18], ecx
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x18]
mov dword [eax + 0x250], ecx
mov eax, dword [0x427f40]
mov edx, dword [eax + 0x18]
mov dword [eax + 0x254], edx
mov ecx, dword [0x427f40]
mov esi, dword [ecx + 0x254]
push ebp
mov ebp, 2
cmp esi, ebp
jle 0x4091c0
lea ecx, [ecx]
mov eax, 0x34
cdq
idiv dword [ecx + 0xc]
cmp esi, eax
jle 0x4091c0
mov eax, dword [ecx + 0x254]
add eax, edi
cdq
sub eax, edx
sar eax, 1
mov dword [ecx + 0x254], eax
mov ecx, dword [0x427f40]
mov esi, dword [ecx + 0x254]
cmp esi, ebp
jg 0x409190
cmp dword [ecx + 0x254], ebp
jge 0x4091d4
mov dword [ecx + 0x254], ebp
mov ecx, dword [0x427f40]
mov dword [ecx + 0x80], edi
mov eax, dword [0x427f40]
mov dword [eax + 0x234], 0xa
mov ecx, dword [0x427f40]
mov dword [ecx + 0x22c], ebx
mov edx, dword [0x427f40]
mov dword [edx + 0x23c], ebx
mov eax, dword [0x427f40]
mov dword [eax + 0x230], 6
mov ecx, dword [0x427f40]
mov dword [ecx + 0x140], edi
mov edx, dword [0x427f40]
mov dword [edx + 0x238], edi
mov eax, dword [0x427f40]
mov dword [eax + 0x240], ebx
mov ecx, dword [0x427f40]
mov dword [ecx + 0x244], ebx
mov edx, dword [0x427f40]
mov dword [edx + 0x224], 0x400
mov eax, dword [0x427f40]
push edi
push 0x401
mov dword [eax + 0x248], ebx
call fcn.0040e920
mov ecx, dword [0x427f40]
mov dword [ecx + 0x24c], eax
mov edx, dword [0x427f40]
mov eax, dword [edx + 0x24c]
mov byte [eax], bl
mov ecx, dword [0x427f40]
mov dword [ecx + 0x2c4], ebx
mov edx, dword [0x427f40]
mov dword [edx + 0x2c0], ebx
mov eax, dword [0x427f40]
mov dword [eax + 0x2c8], ebx
mov ecx, dword [0x427f40]
mov dword [ecx + 0x98], 0x55555555
mov edx, dword [0x427f40]
add esp, 8
mov dword [edx + 0x9c], 0x12345678
mov eax, 0xa0
lea ebx, [ebx]
mov ecx, dword [0x427f40]
mov esi, dword [eax + ecx - 4]
mov edx, dword [eax + ecx - 8]
lea edx, [edx + esi + 0x1379bdf1]
mov dword [eax + ecx], edx
mov ecx, dword [0x427f40]
mov esi, dword [eax + ecx]
mov edx, dword [eax + ecx - 4]
lea edx, [edx + esi + 0x1379bdf1]
mov dword [eax + ecx + 4], edx
mov ecx, dword [0x427f40]
mov esi, dword [eax + ecx]
mov edx, dword [eax + ecx + 4]
lea edx, [edx + esi + 0x1379bdf1]
mov dword [eax + ecx + 8], edx
mov ecx, dword [0x427f40]
mov esi, dword [eax + ecx + 4]
mov edx, dword [eax + ecx + 8]
lea edx, [edx + esi + 0x1379bdf1]
mov dword [eax + ecx + 0xc], edx
mov ecx, dword [0x427f40]
mov edx, dword [eax + ecx + 8]
mov esi, dword [eax + ecx + 0xc]
lea edx, [edx + esi + 0x1379bdf1]
mov dword [eax + ecx + 0x10], edx
add eax, 0x14
cmp eax, 0x12c
jl 0x4092d0
mov eax, dword [0x427f40]
mov dword [eax + 0x12c], 0x25
mov ecx, dword [0x427f40]
mov dword [ecx + 0x130], ebx
mov eax, dword [0x427f40]
mov edx, dword [eax + 0x18]
lea ecx, [edx + edx + 1]
mov dword [eax + 0x18], ecx
mov ecx, dword [0x427f40]
mov eax, dword [ecx + 0x18]
mov edx, eax
and edx, 0xffff
cmp eax, edx
jne 0x409720
cmp eax, 0x40000000
jg 0x409720
push 0x1d
call fcn.00407f70
mov ecx, dword [0x427f40]
mov dword [ecx + 0x2bc], eax
mov edx, dword [0x427f40]
mov dword [edx + 0x154], ebx
mov eax, dword [0x427f40]
mov dword [eax + 0x88], ebx
mov ecx, dword [0x427f40]
mov dword [ecx + 0x84], ebx
mov edx, dword [0x427f40]
mov dword [edx + 0x8c], edi
mov ecx, dword [0x427f40]
mov eax, dword [ecx + 0x18]
sub eax, edi
cdq
sub eax, edx
sar eax, 1
mov dword [ecx + 0x18], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push ebx
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1c8], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push ebp
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1cc], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 3
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1d0], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 4
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1d4], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 5
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1d8], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 6
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1dc], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 8
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1e0], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0xa
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1e4], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
add esp, 0x44
push 0xc
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1e8], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0xd
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1ec], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0xe
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1f0], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0xf
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1f4], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x10
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1f8], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x11
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x1fc], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x12
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x200], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x13
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x204], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
add esp, 0x40
push 0x14
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x208], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x15
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x20c], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x16
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x210], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x17
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x214], eax
push 0x18
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x138], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x19
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x218], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x1a
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x21c], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
push 0x1b
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
mov dword [edx + 0x220], eax
mov eax, dword [0x427f40]
mov ecx, dword [eax + 0x2bc]
add esp, 0x40
push 0x1c
push ecx
call fcn.00407f10
mov edx, dword [0x427f40]
add esp, 8
pop ebp
mov dword [edx + 0x2b8], eax
mov eax, dword [0x427f40]
add dword [eax + 0x1c], 0xffffffff
mov eax, dword [0x427f40]
pop esi
pop edi
pop ebx
pop ecx
ret
cmp dword [ecx + 0x228], ebx
je 0x409759
mov dword [ecx + 0x22c], 0xe
mov ecx, dword [0x427f40]
mov eax, dword [ecx + 0x18]
sub eax, edi
cdq
sub eax, edx
sar eax, 1
pop ebp
mov dword [ecx + 0x18], eax
mov eax, dword [0x427f40]
add dword [eax + 0x1c], 0xffffffff
mov eax, dword [0x427f40]
pop esi
pop edi
pop ebx
pop ecx
ret
mov eax, str._nMIRACL_error_from_routine
call fcn.00407740
mov ecx, dword [0x427f40]
mov eax, dword [ecx + 0x1c]
cmp eax, 0x18
jge 0x40977e
mov eax, dword [ecx + eax*4 + 0x20]
mov eax, dword [eax*4 + 0x426398]
jmp 0x409783
mov eax, 0x42352c
call fcn.00407740
call fcn.0041542e
add eax, 0x20
push eax
push 0xa
call fcn.004152ef
mov ecx, dword [0x427f40]
mov ebp, dword [ecx + 0x1c]
add esp, 8
sub ebp, edi
js 0x409852
lea edx, [ebp*4 + 0x20]
mov dword [esp + 0x10], edx
jmp 0x4097c0
mov al, 0x20
mov esi, str.______________called_from
movsx edi, al
call fcn.0041542e
add eax, 0x20
push eax
push edi
call fcn.004152ef
mov al, byte [esi + 1]
add esi, 1
add esp, 8
cmp al, bl
jne 0x4097c7
cmp ebp, 0x18
jge 0x409805
mov eax, dword [0x427f40]
mov ecx, dword [esp + 0x10]
mov edx, dword [ecx + eax]
mov eax, dword [edx*4 + 0x426398]
call fcn.00407740
jmp 0x40982f
mov al, 0x3f
mov esi, 0x42352c
lea esp, [esp]
movsx edi, al
call fcn.0041542e
add eax, 0x20
push eax
push edi
call fcn.004152ef
mov al, byte [esi + 1]
add esi, 1
add esp, 8
cmp al, bl
jne 0x409810
call fcn.0041542e
add eax, 0x20
push eax
push 0xa
call fcn.004152ef
sub dword [esp + 0x18], 4
sub ebp, 1
add esp, 8
cmp ebp, ebx
jge 0x4097c0
mov eax, str.Numbers_too_big_n
call fcn.00407740
push ebx
call fcn.0041585f
push 6
call fcn.00407780
mov eax, dword [0x427f40]
add esp, 4
add dword [eax + 0x1c], 0xffffffff
mov eax, dword [0x427f40]
pop edi
pop ebx
pop ecx
ret