// File: /workspace/github_c_makefile_star2_O0/wjmelements[P]evm/src/evm.c
// Function: getAccount
static account_t *getAccount(const address_t address) {
    if (AddressIsPrecompile(address)) {
        if (PrecompileIsKnownPrecompile(address)) {
            account_t *precompile = knownPrecompiles + address.address[19];
            AddressCopy(precompile->address, address);
            precompile->warm = evmIteration;
            return precompile;
        } else {
            fputs("Unknown precompile ", stderr);
            fprintAddress(stderr, address);
            fputc('\n', stderr);
        }
    }
    account_t *result = accounts;
    while (result < emptyAccount && !AddressEqual(&result->address, &address)) result++;
    if (result == emptyAccount) {
        emptyAccount++;
        AddressCopy(result->address, address);
        result->code.size = 0;
        result->nonce = 0;
        result->balance[0] = 0;
        result->balance[1] = 0;
        result->balance[2] = 0;
    }
    return result;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xc8, %rsp
leaq 0x10(%rbp), %rax
movq %rax, -0x48(%rbp)
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movl 0x10(%rax), %eax
movl %eax, 0x10(%rsp)
callq 0x9cf0
cmpl $0x0, %eax
je 0x8c99
movq -0x48(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movl 0x10(%rax), %eax
movl %eax, 0x10(%rsp)
callq 0x9e40
cmpl $0x0, %eax
je 0x8b77
movq -0x48(%rbp), %rcx
movzbl 0x13(%rcx), %eax
movslq %eax, %rdx
leaq 0x2057f68(%rip), %rax   # 0x2060aa0
imulq $0x50, %rdx, %rdx
addq %rdx, %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movl 0x10(%rcx), %ecx
movl %ecx, 0x10(%rax)
movq 0x2057f0e(%rip), %rcx   # 0x2060a70
movq -0x38(%rbp), %rax
movq %rcx, 0x38(%rax)
movq -0x38(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x8d61
movq 0x1747a(%rip), %rax     # 0x1fff8
movq (%rax), %rsi
leaq 0x11f9a(%rip), %rdi     # 0x1ab22
callq 0x3130
movq -0x48(%rbp), %rsi
movq 0x17460(%rip), %rax     # 0x1fff8
movq (%rax), %rdi
movzbl (%rsi), %edx
movzbl 0x1(%rsi), %ecx
movzbl 0x2(%rsi), %r8d
movzbl 0x3(%rsi), %r9d
movzbl 0x4(%rsi), %eax
movzbl 0x5(%rsi), %r10d
movl %r10d, -0x68(%rbp)
movzbl 0x6(%rsi), %r10d
movl %r10d, -0x64(%rbp)
movzbl 0x7(%rsi), %r10d
movl %r10d, -0x60(%rbp)
movzbl 0x8(%rsi), %r10d
movl %r10d, -0x5c(%rbp)
movzbl 0x9(%rsi), %r10d
movl %r10d, -0x58(%rbp)
movzbl 0xa(%rsi), %r10d
movl %r10d, -0x54(%rbp)
movzbl 0xb(%rsi), %r10d
movl %r10d, -0x50(%rbp)
movzbl 0xc(%rsi), %r13d
movzbl 0xd(%rsi), %r12d
movzbl 0xe(%rsi), %r15d
movzbl 0xf(%rsi), %r14d
movzbl 0x10(%rsi), %ebx
movzbl 0x11(%rsi), %r11d
movzbl 0x12(%rsi), %r10d
movzbl 0x13(%rsi), %esi
movl %esi, -0x4c(%rbp)
leaq 0x117a1(%rip), %rsi     # 0x1a3c0
movl %eax, (%rsp)
movl -0x68(%rbp), %eax
movl %eax, 0x8(%rsp)
movl -0x64(%rbp), %eax
movl %eax, 0x10(%rsp)
movl -0x60(%rbp), %eax
movl %eax, 0x18(%rsp)
movl -0x5c(%rbp), %eax
movl %eax, 0x20(%rsp)
movl -0x58(%rbp), %eax
movl %eax, 0x28(%rsp)
movl -0x54(%rbp), %eax
movl %eax, 0x30(%rsp)
movl -0x50(%rbp), %eax
movl %eax, 0x38(%rsp)
movl -0x4c(%rbp), %eax
movl %r13d, 0x40(%rsp)
movl %r12d, 0x48(%rsp)
movl %r15d, 0x50(%rsp)
movl %r14d, 0x58(%rsp)
movl %ebx, 0x60(%rsp)
movl %r11d, 0x68(%rsp)
movl %r10d, 0x70(%rsp)
movl %eax, 0x78(%rsp)
movb $0x0, %al
callq 0x31e0
movq 0x1736e(%rip), %rax     # 0x1fff8
movq (%rax), %rsi
movl $0xa, %edi
callq 0x3180
jmp 0x8c99
leaq 0x2043dd0(%rip), %rax   # 0x204ca70
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rcx
xorl %eax, %eax
cmpq 0x2043daf(%rip), %rcx   # 0x204ca60
movb %al, -0x69(%rbp)
jae 0x8cce
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdi
callq 0x8730
cmpl $0x0, %eax
setne %al
xorb $-0x1, %al
movb %al, -0x69(%rbp)
movb -0x69(%rbp), %al
testb $0x1, %al
jne 0x8cd7
jmp 0x8ce5
movq -0x40(%rbp), %rax
addq $0x50, %rax
movq %rax, -0x40(%rbp)
jmp 0x8ca4
movq -0x40(%rbp), %rax
cmpq 0x2043d70(%rip), %rax   # 0x204ca60
jne 0x8d59
movq -0x48(%rbp), %rcx
movq 0x2043d63(%rip), %rax   # 0x204ca60
addq $0x50, %rax
movq %rax, 0x2043d58(%rip)   # 0x204ca60
movq -0x40(%rbp), %rax
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movl 0x10(%rcx), %ecx
movl %ecx, 0x10(%rax)
movq -0x40(%rbp), %rax
movq $0x0, 0x20(%rax)
movq -0x40(%rbp), %rax
movq $0x0, 0x30(%rax)
movq -0x40(%rbp), %rax
movl $0x0, 0x14(%rax)
movq -0x40(%rbp), %rax
movl $0x0, 0x18(%rax)
movq -0x40(%rbp), %rax
movl $0x0, 0x1c(%rax)
movq -0x40(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopw (%rax,%rax)