// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/norx6441v2/ref/norx.c
// Function: F
static NORX_INLINE void F(norx_word_t S[16])
{
    /* Column step */
    G(S[ 0], S[ 4], S[ 8], S[12]);
    G(S[ 1], S[ 5], S[ 9], S[13]);
    G(S[ 2], S[ 6], S[10], S[14]);
    G(S[ 3], S[ 7], S[11], S[15]);
    /* Diagonal step */
    G(S[ 0], S[ 5], S[10], S[15]);
    G(S[ 1], S[ 6], S[11], S[12]);
    G(S[ 2], S[ 7], S[ 8], S[13]);
    G(S[ 3], S[ 4], S[ 9], S[14]);
}

// Assembly:
movq %rdi, -0x8(%rsp)
movq -0x8(%rsp), %rax
movq (%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x20(%rax), %rcx
movq -0x8(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x20(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, (%rax)
movq -0x8(%rsp), %rax
movq (%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x60(%rax), %rcx
movq %rcx, 0x60(%rax)
movq -0x8(%rsp), %rax
movq 0x60(%rax), %rcx
shrq $0x8, %rcx
movq -0x8(%rsp), %rax
movq 0x60(%rax), %rax
shlq $0x38, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x60(%rax)
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x60(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x60(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x40(%rax)
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x20(%rax), %rcx
movq %rcx, 0x20(%rax)
movq -0x8(%rsp), %rax
movq 0x20(%rax), %rcx
shrq $0x13, %rcx
movq -0x8(%rsp), %rax
movq 0x20(%rax), %rax
shlq $0x2d, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x20(%rax)
movq -0x8(%rsp), %rax
movq (%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x20(%rax), %rcx
movq -0x8(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x20(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, (%rax)
movq -0x8(%rsp), %rax
movq (%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x60(%rax), %rcx
movq %rcx, 0x60(%rax)
movq -0x8(%rsp), %rax
movq 0x60(%rax), %rcx
shrq $0x28, %rcx
movq -0x8(%rsp), %rax
movq 0x60(%rax), %rax
shlq $0x18, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x60(%rax)
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x60(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x60(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x40(%rax)
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x20(%rax), %rcx
movq %rcx, 0x20(%rax)
movq -0x8(%rsp), %rax
movq 0x20(%rax), %rcx
shrq $0x3f, %rcx
movq -0x8(%rsp), %rax
movq 0x20(%rax), %rax
shlq %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x20(%rax)
jmp 0x207a
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x28(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x28(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x8(%rax)
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x68(%rax), %rcx
movq %rcx, 0x68(%rax)
movq -0x8(%rsp), %rax
movq 0x68(%rax), %rcx
shrq $0x8, %rcx
movq -0x8(%rsp), %rax
movq 0x68(%rax), %rax
shlq $0x38, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x68(%rax)
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x68(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x68(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x48(%rax)
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x28(%rax), %rcx
movq %rcx, 0x28(%rax)
movq -0x8(%rsp), %rax
movq 0x28(%rax), %rcx
shrq $0x13, %rcx
movq -0x8(%rsp), %rax
movq 0x28(%rax), %rax
shlq $0x2d, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x28(%rax)
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x28(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x28(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x8(%rax)
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x68(%rax), %rcx
movq %rcx, 0x68(%rax)
movq -0x8(%rsp), %rax
movq 0x68(%rax), %rcx
shrq $0x28, %rcx
movq -0x8(%rsp), %rax
movq 0x68(%rax), %rax
shlq $0x18, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x68(%rax)
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x68(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x68(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x48(%rax)
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x28(%rax), %rcx
movq %rcx, 0x28(%rax)
movq -0x8(%rsp), %rax
movq 0x28(%rax), %rcx
shrq $0x3f, %rcx
movq -0x8(%rsp), %rax
movq 0x28(%rax), %rax
shlq %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x28(%rax)
jmp 0x2237
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x30(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x30(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x10(%rax)
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x70(%rax), %rcx
movq %rcx, 0x70(%rax)
movq -0x8(%rsp), %rax
movq 0x70(%rax), %rcx
shrq $0x8, %rcx
movq -0x8(%rsp), %rax
movq 0x70(%rax), %rax
shlq $0x38, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x70(%rax)
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x70(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x70(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x50(%rax)
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
movq -0x8(%rsp), %rax
movq 0x30(%rax), %rcx
shrq $0x13, %rcx
movq -0x8(%rsp), %rax
movq 0x30(%rax), %rax
shlq $0x2d, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x30(%rax)
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x30(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x30(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x10(%rax)
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x70(%rax), %rcx
movq %rcx, 0x70(%rax)
movq -0x8(%rsp), %rax
movq 0x70(%rax), %rcx
shrq $0x28, %rcx
movq -0x8(%rsp), %rax
movq 0x70(%rax), %rax
shlq $0x18, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x70(%rax)
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x70(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x70(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x50(%rax)
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
movq -0x8(%rsp), %rax
movq 0x30(%rax), %rcx
shrq $0x3f, %rcx
movq -0x8(%rsp), %rax
movq 0x30(%rax), %rax
shlq %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x30(%rax)
jmp 0x23f4
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x38(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x38(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x18(%rax)
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x78(%rax), %rcx
movq %rcx, 0x78(%rax)
movq -0x8(%rsp), %rax
movq 0x78(%rax), %rcx
shrq $0x8, %rcx
movq -0x8(%rsp), %rax
movq 0x78(%rax), %rax
shlq $0x38, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x78(%rax)
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x78(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x78(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x58(%rax)
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x38(%rax), %rcx
movq %rcx, 0x38(%rax)
movq -0x8(%rsp), %rax
movq 0x38(%rax), %rcx
shrq $0x13, %rcx
movq -0x8(%rsp), %rax
movq 0x38(%rax), %rax
shlq $0x2d, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x38(%rax)
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x38(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x38(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x18(%rax)
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x78(%rax), %rcx
movq %rcx, 0x78(%rax)
movq -0x8(%rsp), %rax
movq 0x78(%rax), %rcx
shrq $0x28, %rcx
movq -0x8(%rsp), %rax
movq 0x78(%rax), %rax
shlq $0x18, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x78(%rax)
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x78(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x78(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x58(%rax)
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x38(%rax), %rcx
movq %rcx, 0x38(%rax)
movq -0x8(%rsp), %rax
movq 0x38(%rax), %rcx
shrq $0x3f, %rcx
movq -0x8(%rsp), %rax
movq 0x38(%rax), %rax
shlq %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x38(%rax)
jmp 0x25b1
movq -0x8(%rsp), %rax
movq (%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x28(%rax), %rcx
movq -0x8(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x28(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, (%rax)
movq -0x8(%rsp), %rax
movq (%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x78(%rax), %rcx
movq %rcx, 0x78(%rax)
movq -0x8(%rsp), %rax
movq 0x78(%rax), %rcx
shrq $0x8, %rcx
movq -0x8(%rsp), %rax
movq 0x78(%rax), %rax
shlq $0x38, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x78(%rax)
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x78(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x78(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x50(%rax)
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x28(%rax), %rcx
movq %rcx, 0x28(%rax)
movq -0x8(%rsp), %rax
movq 0x28(%rax), %rcx
shrq $0x13, %rcx
movq -0x8(%rsp), %rax
movq 0x28(%rax), %rax
shlq $0x2d, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x28(%rax)
movq -0x8(%rsp), %rax
movq (%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x28(%rax), %rcx
movq -0x8(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x28(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, (%rax)
movq -0x8(%rsp), %rax
movq (%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x78(%rax), %rcx
movq %rcx, 0x78(%rax)
movq -0x8(%rsp), %rax
movq 0x78(%rax), %rcx
shrq $0x28, %rcx
movq -0x8(%rsp), %rax
movq 0x78(%rax), %rax
shlq $0x18, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x78(%rax)
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x78(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x78(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x50(%rax)
movq -0x8(%rsp), %rax
movq 0x50(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x28(%rax), %rcx
movq %rcx, 0x28(%rax)
movq -0x8(%rsp), %rax
movq 0x28(%rax), %rcx
shrq $0x3f, %rcx
movq -0x8(%rsp), %rax
movq 0x28(%rax), %rax
shlq %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x28(%rax)
jmp 0x2766
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x30(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x30(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x8(%rax)
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x60(%rax), %rcx
movq %rcx, 0x60(%rax)
movq -0x8(%rsp), %rax
movq 0x60(%rax), %rcx
shrq $0x8, %rcx
movq -0x8(%rsp), %rax
movq 0x60(%rax), %rax
shlq $0x38, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x60(%rax)
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x60(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x60(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x58(%rax)
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
movq -0x8(%rsp), %rax
movq 0x30(%rax), %rcx
shrq $0x13, %rcx
movq -0x8(%rsp), %rax
movq 0x30(%rax), %rax
shlq $0x2d, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x30(%rax)
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x30(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x30(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x8(%rax)
movq -0x8(%rsp), %rax
movq 0x8(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x60(%rax), %rcx
movq %rcx, 0x60(%rax)
movq -0x8(%rsp), %rax
movq 0x60(%rax), %rcx
shrq $0x28, %rcx
movq -0x8(%rsp), %rax
movq 0x60(%rax), %rax
shlq $0x18, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x60(%rax)
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x60(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x60(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x58(%rax)
movq -0x8(%rsp), %rax
movq 0x58(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
movq -0x8(%rsp), %rax
movq 0x30(%rax), %rcx
shrq $0x3f, %rcx
movq -0x8(%rsp), %rax
movq 0x30(%rax), %rax
shlq %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x30(%rax)
jmp 0x2923
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x38(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x38(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x10(%rax)
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x68(%rax), %rcx
movq %rcx, 0x68(%rax)
movq -0x8(%rsp), %rax
movq 0x68(%rax), %rcx
shrq $0x8, %rcx
movq -0x8(%rsp), %rax
movq 0x68(%rax), %rax
shlq $0x38, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x68(%rax)
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x68(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x68(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x40(%rax)
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x38(%rax), %rcx
movq %rcx, 0x38(%rax)
movq -0x8(%rsp), %rax
movq 0x38(%rax), %rcx
shrq $0x13, %rcx
movq -0x8(%rsp), %rax
movq 0x38(%rax), %rax
shlq $0x2d, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x38(%rax)
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x38(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x38(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x10(%rax)
movq -0x8(%rsp), %rax
movq 0x10(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x68(%rax), %rcx
movq %rcx, 0x68(%rax)
movq -0x8(%rsp), %rax
movq 0x68(%rax), %rcx
shrq $0x28, %rcx
movq -0x8(%rsp), %rax
movq 0x68(%rax), %rax
shlq $0x18, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x68(%rax)
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x68(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x68(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x40(%rax)
movq -0x8(%rsp), %rax
movq 0x40(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x38(%rax), %rcx
movq %rcx, 0x38(%rax)
movq -0x8(%rsp), %rax
movq 0x38(%rax), %rcx
shrq $0x3f, %rcx
movq -0x8(%rsp), %rax
movq 0x38(%rax), %rax
shlq %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x38(%rax)
jmp 0x2ae0
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x20(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x20(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x18(%rax)
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x70(%rax), %rcx
movq %rcx, 0x70(%rax)
movq -0x8(%rsp), %rax
movq 0x70(%rax), %rcx
shrq $0x8, %rcx
movq -0x8(%rsp), %rax
movq 0x70(%rax), %rax
shlq $0x38, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x70(%rax)
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x70(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x70(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x48(%rax)
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x20(%rax), %rcx
movq %rcx, 0x20(%rax)
movq -0x8(%rsp), %rax
movq 0x20(%rax), %rcx
shrq $0x13, %rcx
movq -0x8(%rsp), %rax
movq 0x20(%rax), %rax
shlq $0x2d, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x20(%rax)
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x20(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x20(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x18(%rax)
movq -0x8(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x70(%rax), %rcx
movq %rcx, 0x70(%rax)
movq -0x8(%rsp), %rax
movq 0x70(%rax), %rcx
shrq $0x28, %rcx
movq -0x8(%rsp), %rax
movq 0x70(%rax), %rax
shlq $0x18, %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x70(%rax)
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x70(%rax), %rcx
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rax
movq -0x8(%rsp), %rdx
andq 0x70(%rdx), %rax
shlq %rax
xorq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x48(%rax)
movq -0x8(%rsp), %rax
movq 0x48(%rax), %rcx
movq -0x8(%rsp), %rax
xorq 0x20(%rax), %rcx
movq %rcx, 0x20(%rax)
movq -0x8(%rsp), %rax
movq 0x20(%rax), %rcx
shrq $0x3f, %rcx
movq -0x8(%rsp), %rax
movq 0x20(%rax), %rax
shlq %rax
orq %rax, %rcx
movq -0x8(%rsp), %rax
movq %rcx, 0x20(%rax)
retq
nopl (%rax)