Function at 0x4874c6
Capabilities:
Terminate process

Disassembly:
mov eax, dword [0x504fb0]
cmp dword [eax + 0x224], 0
je 0x4874df
mov ecx, dword [esp + 4]
mov dword [eax + 0x228], ecx
ret
push ebp
push esi
push edi
push str._nMIRACL_error_from_routine
call fcn.004876fa
pop ecx
mov eax, dword [0x504fb0]
mov ecx, dword [eax + 0x1c]
mov ebp, 0x4ffbac
cmp ecx, 0x18
jge 0x48750c
mov eax, dword [eax + ecx*4 + 0x20]
push dword [eax*4 + 0x4fe8f4]
jmp 0x48750d
push ebp
call fcn.004876fa
pop ecx
mov edi, 0x500fe0
push edi
push 0xa
call fcn.004978d7
mov eax, dword [0x504fb0]
pop ecx
pop ecx
mov esi, dword [eax + 0x1c]
dec esi
js 0x487570
push ebx
lea ebx, [esi*4 + 0x20]
push str.______________called_from
call fcn.004876fa
cmp esi, 0x18
pop ecx
jge 0x487556
mov eax, dword [0x504fb0]
mov eax, dword [ebx + eax]
push dword [eax*4 + 0x4fe8f4]
jmp 0x487557
push ebp
call fcn.004876fa
pop ecx
push edi
push 0xa
call fcn.004978d7
dec esi
pop ecx
sub ebx, 4
pop ecx
test esi, esi
jge 0x487535
pop ebx
mov eax, dword [esp + 0x10]
pop edi
dec eax
pop esi
cmp eax, 0x1c
pop ebp
ja case.default.0x487581
jmp dword [eax*4 + 0x487686]
push str.Number_base_too_big_for_representation_n
jmp 0x487679
push str.Division_by_zero_attempted_n
jmp 0x487679
push str.Overflow___Number_too_big_n
jmp 0x487679
push str.Internal_result_is_negative_n
jmp 0x487679
push str.Input_format_error_n
jmp 0x487679
push str.Illegal_number_base_n
jmp 0x487679
push str.Illegal_parameter_usage_n
jmp 0x487679
push str.Out_of_space_n
jmp 0x487679
push str.Even_root_of_a_negative_number_n
jmp 0x487679
push str.Raising_integer_to_negative_power_n
jmp 0x487679
push str.Attempt_to_take_illegal_root_n
jmp 0x487679
push str.Integer_operation_attempted_on_Flash_number_n
jmp 0x487679
push str.Flash_overflow_n
jmp 0x487679
push str.Numbers_too_big_n
jmp 0x487679
push str.Log_of_a_non_positive_number_n
jmp 0x487679
push str.Flash_to_double_conversion_failure_n
jmp 0x487679
push str.I_O_buffer_overflow_n
jmp 0x487679
push str.MIRACL_not_initialised___no_call_to_mirsys___n
jmp 0x487679
push str.Illegal_modulus__n
jmp 0x487679
push str.No_modulus_defined_n
jmp 0x487679
push str.Exponent_too_big_n
jmp 0x487679
push str.Unsupported_Feature___check_mirdef.h_n
jmp 0x487679
push str.Specified_double_length_type_isnt_double_length_n
jmp 0x487679
push str.Specified_basis_is_NOT_irreducible_n
jmp 0x487679
push str.Unable_to_control_Floating_point_rounding_n
jmp 0x487679
push str.Base_must_be_binary__MR_ALWAYS_BINARY_defined_in_mirdef.h____n
jmp 0x487679
push str.No_irreducible_basis_defined_n
jmp 0x487679
push str.Composite_modulus_n
jmp 0x487679
push str.Input_output_error_when_reading_from_RNG_device_node_n
jmp 0x487679
push str.Undefined_error_n
call fcn.004876fa
pop ecx
push 0
call fcn.00497ce5
mov byte [ebp + 0x48], dh
add byte [edx - 1677703051], dl
jne 0x4876d9
add byte [esi - 0x4fffb78b], ah
jne 0x4876e1
add byte [edx - 0x3bffb78b], bh
jne 0x4876e9
add dh, cl
jne 0x4876ed
add al, bl
jne 0x4876f1
add dl, ah
jne 0x4876f5
add ah, ch
jne 0x4876f9
add dh, dh
jne 0x4876fd
add ch, bh
jne 0x487701
add byte [esi + esi*2], al
dec eax
add byte [ebx], cl
jbe 0x487709
add byte [edx], dl
jbe 0x48770d
add byte [ecx], bl
jbe 0x487711
add byte [eax], ah
jbe 0x487715
add byte [edi], ah
jbe 0x487719
add byte [esi], ch
jbe 0x48771d
add byte [0x3c004876], dh
jbe 0x487725
add byte [esi + esi*2], bh
dec eax
add byte [ebx + 0x76], al
dec eax
add byte [edx + 0x76], cl
dec eax
add byte [ecx + 0x76], dl
dec eax
add byte [eax + 0x76], bl
dec eax
add byte [edi + 0x76], bl
dec eax
add byte [esi + 0x76], ah
dec eax
add byte [ebp + 0x76], ch
dec eax
add byte [esi - 0x75], dl
je 0x487722
and al, 8
or byte [edx + 0x74c08406], cl
adc ecx, dword [edi]
mov esi, 0xfe068c0
mov al, byte [esi]
test al, al
je 0x487718
movsx eax, al
push 0x500fe0
loopne fcn.0048771a
push eax
add byte [eax + 0x46], dl
push eax
inc esi
call fcn.004978d7
pop ecx
add dword [ecx], eax
add byte [ecx + 0x59], bl
pop ecx
jmp 0x4876ff
pop esi
ret
push eax
add byte [esi + 0x57], dl
invalid
sbb al, 0xbe
loopne 0x487738
push eax
add byte [esi + 0x15], bh
push eax
add byte [edi + 0x59], al