Function at 0x403360
Capabilities:
Access peb ldr_data
Get number of processors

Disassembly:
push ebp
mov ebp, esp
push 0xffffffffffffffff
push 0x4081f3
mov eax, dword fs:[0]
push eax
sub esp, 8
push esi
push edi
mov eax, dword [0x40c00c]
xor eax, ebp
push eax
lea eax, [ebp - 0xc]
mov dword fs:[0], eax
mov edi, ecx
mov dword [ebp - 0x10], edi
mov dword [edi], vtable.Minisat::Solver.0
mov dword [edi + 8], 0
mov dword [edi + 0xc], 0
mov dword [edi + 0x10], 0
mov dword [ebp - 4], 0
mov dword [edi + 0x14], 0
mov dword [edi + 0x18], 0
mov dword [edi + 0x1c], 0
mov dword [edi + 0x20], 0
movsd xmm0, qword [0x40c530]
movsd qword [edi + 0x28], xmm0
movsd xmm0, qword [0x40c628]
movsd qword [edi + 0x30], xmm0
movsd xmm0, qword [0x40c5a0]
movsd qword [edi + 0x38], xmm0
movsd xmm0, qword [0x40c5f0]
movsd qword [edi + 0x40], xmm0
movzx eax, byte [0x40c4fc]
mov byte [edi + 0x48], al
mov eax, dword [0x40c684]
mov dword [edi + 0x4c], eax
mov eax, dword [0x40c4c4]
mov dword [edi + 0x50], eax
mov byte [edi + 0x54], 0
movzx eax, byte [0x40c5bc]
mov byte [edi + 0x55], al
movsd xmm0, qword [0x40c660]
movsd qword [edi + 0x58], xmm0
mov eax, dword [0x40c4e4]
mov dword [edi + 0x60], eax
movsd xmm0, qword [0x40c568]
movsd qword [edi + 0x68], xmm0
movaps xmm0, xmmword [0x40a040]
movups xmmword [edi + 0x70], xmm0
mov dword [edi + 0x80], 0x64
movsd xmm0, qword [0x409fd8]
movsd qword [edi + 0x88], xmm0
mov dword [edi + 0x90], 0
mov dword [edi + 0x94], 0
mov dword [edi + 0x98], 0
mov dword [edi + 0x9c], 0
mov dword [edi + 0xa0], 0
mov dword [edi + 0xa4], 0
mov dword [edi + 0xa8], 0
mov dword [edi + 0xac], 0
mov dword [edi + 0xb0], 0
mov dword [edi + 0xb4], 0
mov dword [edi + 0xb8], 0
mov dword [edi + 0xbc], 0
mov dword [edi + 0xc0], 0
mov dword [edi + 0xc4], 0
mov dword [edi + 0xc8], 0
mov dword [edi + 0xcc], 0
mov dword [edi + 0xd0], 0
mov dword [edi + 0xd4], 0
mov dword [edi + 0xd8], 0
mov dword [edi + 0xdc], 0
mov dword [edi + 0xe0], 0
mov dword [edi + 0xe4], 0
mov byte [edi + 0xe8], 1
mov dword [edi + 0xec], 0
mov dword [edi + 0xf0], 0
mov dword [edi + 0xf4], 0
mov dword [edi + 0xf8], 0
mov dword [edi + 0xfc], 0
mov dword [edi + 0x100], 0
movsd xmm0, qword [0x409fd0]
lea eax, [edi + 0x110]
movsd qword [edi + 0x108], xmm0
mov dword [eax], 0
mov dword [eax + 4], 0
mov dword [eax + 8], 0
movsd qword [edi + 0x120], xmm0
lea esi, [edi + 0x1dc]
mov dword [edi + 0x128], 0
mov dword [edi + 0x12c], 0
mov dword [edi + 0x130], 0
mov dword [edi + 0x134], 0
mov dword [edi + 0x138], 0
mov dword [edi + 0x13c], 0
mov dword [edi + 0x140], 0
mov dword [edi + 0x144], 0
mov dword [edi + 0x148], 0
mov dword [edi + 0x14c], esi
mov dword [edi + 0x150], 0
mov dword [edi + 0x154], 0
mov dword [edi + 0x158], 0
mov dword [edi + 0x15c], 0
mov dword [edi + 0x160], 0
mov dword [edi + 0x164], 0
mov dword [edi + 0x168], 0
mov dword [edi + 0x16c], 0
mov dword [edi + 0x170], 0
mov dword [edi + 0x174], 0
mov dword [edi + 0x178], 0
mov dword [edi + 0x17c], 0
mov dword [edi + 0x180], 0
mov dword [edi + 0x184], 0
mov dword [edi + 0x188], 0
mov dword [edi + 0x18c], 0
mov dword [edi + 0x190], 0
mov dword [edi + 0x194], 0
mov dword [edi + 0x198], 0
mov dword [edi + 0x19c], 0xffffffff
mov dword [edi + 0x1a0], 0
mov dword [edi + 0x1a4], 0
mov dword [edi + 0x1a8], 0
mov dword [edi + 0x1ac], 0
mov dword [edi + 0x1b0], 0
mov dword [edi + 0x1b4], eax
mov dword [edi + 0x1b8], 0
mov dword [edi + 0x1bc], 0
mov dword [edi + 0x1c0], 0
mov dword [edi + 0x1c4], 0
mov dword [edi + 0x1c8], 0
mov dword [edi + 0x1cc], 0
mov byte [ebp - 4], 0xd
xorps xmm0, xmm0
movsd qword [edi + 0x1d0], xmm0
mov ecx, esi
mov byte [edi + 0x1d8], 1
push 0x100000
mov dword [ebp - 0x14], esi
mov dword [esi], 0
mov dword [esi + 4], 0
mov dword [esi + 8], 0
mov dword [esi + 0xc], 0
call fcn.00406550
mov byte [esi + 0x10], 0
mov eax, edi
mov dword [edi + 0x1f0], 0
mov dword [edi + 0x1f4], 0
mov dword [edi + 0x1f8], 0
mov dword [edi + 0x1fc], 0
mov dword [edi + 0x200], 0
mov dword [edi + 0x204], 0
mov dword [edi + 0x208], 0
mov dword [edi + 0x20c], 0
mov dword [edi + 0x210], 0
mov dword [edi + 0x214], 0
mov dword [edi + 0x218], 0
mov dword [edi + 0x21c], 0
mov dword [edi + 0x238], 0xffffffff
mov dword [edi + 0x23c], 0xffffffff
mov dword [edi + 0x240], 0xffffffff
mov dword [edi + 0x244], 0xffffffff
mov byte [edi + 0x248], 0
mov ecx, dword [ebp - 0xc]
mov dword fs:[0], ecx
pop ecx
pop edi
pop esi
mov esp, ebp
pop ebp
ret