// File: stetre[P]moonvulkan/src/getproc.c
// Function: moonvulkan_getproc_instance
instance_dt_t * getproc_instance(lua_State *L, VkInstance instance, VkInstanceCreateInfo *createinfo)
    {
    instance_dt_t *dt = (instance_dt_t*)Malloc(L, sizeof(instance_dt_t));
    (void)createinfo;

    /* Core 1.0 functions ---------------------------- */
#define GET(fn) do {                                                \
    dt->fn = (PFN_vk##fn)GetInstanceProcAddr(instance, "vk"#fn);    \
    if(!dt->fn) { luaL_error(L, "cannot find vk"#fn); return dt; }\
} while(0)
    GET(DestroyInstance);
    GET(EnumeratePhysicalDevices);
    GET(EnumerateDeviceLayerProperties);
    GET(EnumerateDeviceExtensionProperties);
    GET(GetPhysicalDeviceFeatures);
    GET(GetPhysicalDeviceFormatProperties);
    GET(GetPhysicalDeviceImageFormatProperties);
    GET(GetPhysicalDeviceProperties);
    GET(GetPhysicalDeviceQueueFamilyProperties);
    GET(GetPhysicalDeviceMemoryProperties);
    GET(CreateDevice);
    GET(GetPhysicalDeviceSparseImageFormatProperties);
#undef GET

    /* Extensions and core > 1.0 ----------------------- */
#define GET(fn) do { \
    dt->fn = (PFN_vk##fn)GetInstanceProcAddr(instance, "vk"#fn); \
    /* printf(""#fn" %p\n", (void*)(dt->fn)); */                 \
}

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq %rdx, 0x8(%rsp)
movq 0x18(%rsp), %rdi
movl $0x210, %esi            # imm = 0x210
callq 0x192c0
movq %rax, (%rsp)
movq 0xabcc3(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c7bf(%rip), %rsi     # 0xdef08
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, (%rax)
movq (%rsp), %rax
cmpq $0x0, (%rax)
jne 0x52780
movq 0x18(%rsp), %rdi
leaq 0x8c791(%rip), %rsi     # 0xdeefc
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52782
jmp 0x52784
movq 0xabc75(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c78f(%rip), %rsi     # 0xdef26
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x8(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x527d0
movq 0x18(%rsp), %rdi
leaq 0x8c75f(%rip), %rsi     # 0xdef1a
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x527d2
jmp 0x527d4
movq 0xabc25(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c766(%rip), %rsi     # 0xdef4d
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x10(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x10(%rax)
jne 0x52820
movq 0x18(%rsp), %rdi
leaq 0x8c736(%rip), %rsi     # 0xdef41
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52822
jmp 0x52824
movq 0xabbd5(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c743(%rip), %rsi     # 0xdef7a
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x18(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x18(%rax)
jne 0x52870
movq 0x18(%rsp), %rdi
leaq 0x8c713(%rip), %rsi     # 0xdef6e
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52872
jmp 0x52874
movq 0xabb85(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c724(%rip), %rsi     # 0xdefab
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x20(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x20(%rax)
jne 0x528c0
movq 0x18(%rsp), %rdi
leaq 0x8c6f4(%rip), %rsi     # 0xdef9f
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x528c2
jmp 0x528c4
movq 0xabb35(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c6fc(%rip), %rsi     # 0xdefd3
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x28(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x28(%rax)
jne 0x52910
movq 0x18(%rsp), %rdi
leaq 0x8c6cc(%rip), %rsi     # 0xdefc7
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52912
jmp 0x52914
movq 0xabae5(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c6dc(%rip), %rsi     # 0xdf003
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x30(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x30(%rax)
jne 0x52960
movq 0x18(%rsp), %rdi
leaq 0x8c6ac(%rip), %rsi     # 0xdeff7
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52962
jmp 0x52964
movq 0xaba95(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c6c1(%rip), %rsi     # 0xdf038
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x38(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x38(%rax)
jne 0x529b0
movq 0x18(%rsp), %rdi
leaq 0x8c691(%rip), %rsi     # 0xdf02c
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x529b2
jmp 0x529b4
movq 0xaba45(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c69b(%rip), %rsi     # 0xdf062
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x40(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x40(%rax)
jne 0x52a00
movq 0x18(%rsp), %rdi
leaq 0x8c66b(%rip), %rsi     # 0xdf056
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52a02
jmp 0x52a04
movq 0xab9f5(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c680(%rip), %rsi     # 0xdf097
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x48(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x48(%rax)
jne 0x52a50
movq 0x18(%rsp), %rdi
leaq 0x8c650(%rip), %rsi     # 0xdf08b
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52a52
jmp 0x52a54
movq 0xab9a5(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c660(%rip), %rsi     # 0xdf0c7
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x50(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x50(%rax)
jne 0x52aa0
movq 0x18(%rsp), %rdi
leaq 0x8c630(%rip), %rsi     # 0xdf0bb
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52aa2
jmp 0x52aa4
movq 0xab955(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c62b(%rip), %rsi     # 0xdf0e2
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x58(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x58(%rax)
jne 0x52af0
movq 0x18(%rsp), %rdi
leaq 0x8c5fb(%rip), %rsi     # 0xdf0d6
movb $0x0, %al
callq 0x19ce0
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x53709
jmp 0x52af2
jmp 0x52af4
movq 0xab905(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c60a(%rip), %rsi     # 0xdf111
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x98(%rax)
jmp 0x52b19
movq 0xab8e0(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c60d(%rip), %rsi     # 0xdf139
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xa0(%rax)
jmp 0x52b3e
movq 0xab8bb(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c615(%rip), %rsi     # 0xdf166
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xa8(%rax)
jmp 0x52b63
movq 0xab896(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c616(%rip), %rsi     # 0xdf18c
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xb0(%rax)
jmp 0x52b88
movq 0xab871(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c60f(%rip), %rsi     # 0xdf1aa
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xb8(%rax)
jmp 0x52bad
movq 0xab84c(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c601(%rip), %rsi     # 0xdf1c1
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xc0(%rax)
jmp 0x52bd2
movq 0xab827(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5fd(%rip), %rsi     # 0xdf1e2
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xc8(%rax)
jmp 0x52bf7
movq 0xab802(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5f7(%rip), %rsi     # 0xdf201
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x130(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x130(%rax)
jne 0x52c4b
movq 0xab7d1(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5f1(%rip), %rsi     # 0xdf22c
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x130(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x130(%rax)
jne 0x52c7c
movq 0xab7a0(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5ee(%rip), %rsi     # 0xdf25a
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x130(%rax)
jmp 0x52c7e
jmp 0x52c80
movq 0xab779(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5f5(%rip), %rsi     # 0xdf288
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x120(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x120(%rax)
jne 0x52cd4
movq 0xab748(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5f0(%rip), %rsi     # 0xdf2b4
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x120(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x120(%rax)
jne 0x52d05
movq 0xab717(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5ee(%rip), %rsi     # 0xdf2e3
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x120(%rax)
jmp 0x52d07
jmp 0x52d09
movq 0xab6f0(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5f6(%rip), %rsi     # 0xdf312
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x128(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x128(%rax)
jne 0x52d5d
movq 0xab6bf(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5f4(%rip), %rsi     # 0xdf341
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x128(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x128(%rax)
jne 0x52d8e
movq 0xab68e(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5f5(%rip), %rsi     # 0xdf373
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x128(%rax)
jmp 0x52d90
jmp 0x52d92
movq 0xab667(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c600(%rip), %rsi     # 0xdf3a5
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xe8(%rax)
movq (%rsp), %rax
cmpq $0x0, 0xe8(%rax)
jne 0x52de6
movq 0xab636(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5ec(%rip), %rsi     # 0xdf3c2
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xe8(%rax)
movq (%rsp), %rax
cmpq $0x0, 0xe8(%rax)
jne 0x52e17
movq 0xab605(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5db(%rip), %rsi     # 0xdf3e2
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xe8(%rax)
jmp 0x52e19
jmp 0x52e1b
movq 0xab5de(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5d4(%rip), %rsi     # 0xdf402
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xf0(%rax)
movq (%rsp), %rax
cmpq $0x0, 0xf0(%rax)
jne 0x52e6f
movq 0xab5ad(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5c2(%rip), %rsi     # 0xdf421
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xf0(%rax)
movq (%rsp), %rax
cmpq $0x0, 0xf0(%rax)
jne 0x52ea0
movq 0xab57c(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5b3(%rip), %rsi     # 0xdf443
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xf0(%rax)
jmp 0x52ea2
jmp 0x52ea4
movq 0xab555(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5ae(%rip), %rsi     # 0xdf465
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xf8(%rax)
movq (%rsp), %rax
cmpq $0x0, 0xf8(%rax)
jne 0x52ef8
movq 0xab524(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c5a2(%rip), %rsi     # 0xdf48a
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xf8(%rax)
movq (%rsp), %rax
cmpq $0x0, 0xf8(%rax)
jne 0x52f29
movq 0xab4f3(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c599(%rip), %rsi     # 0xdf4b2
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xf8(%rax)
jmp 0x52f2b
jmp 0x52f2d
movq 0xab4cc(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c59a(%rip), %rsi     # 0xdf4da
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x100(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x100(%rax)
jne 0x52f81
movq 0xab49b(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c593(%rip), %rsi     # 0xdf504
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x100(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x100(%rax)
jne 0x52fb2
movq 0xab46a(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c58f(%rip), %rsi     # 0xdf531
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x100(%rax)
jmp 0x52fb4
jmp 0x52fb6
movq 0xab443(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c595(%rip), %rsi     # 0xdf55e
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x108(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x108(%rax)
jne 0x5300a
movq 0xab412(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c58e(%rip), %rsi     # 0xdf588
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x108(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x108(%rax)
jne 0x5303b
movq 0xab3e1(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c58a(%rip), %rsi     # 0xdf5b5
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x108(%rax)
jmp 0x5303d
jmp 0x5303f
movq 0xab3ba(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c590(%rip), %rsi     # 0xdf5e2
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x110(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x110(%rax)
jne 0x53093
movq 0xab389(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c584(%rip), %rsi     # 0xdf607
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x110(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x110(%rax)
jne 0x530c4
movq 0xab358(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c57b(%rip), %rsi     # 0xdf62f
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x110(%rax)
jmp 0x530c6
jmp 0x530c8
movq 0xab331(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c57c(%rip), %rsi     # 0xdf657
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x118(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x118(%rax)
jne 0x5311c
movq 0xab300(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c57b(%rip), %rsi     # 0xdf687
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x118(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x118(%rax)
jne 0x5314d
movq 0xab2cf(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c57d(%rip), %rsi     # 0xdf6ba
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x118(%rax)
jmp 0x5314f
jmp 0x53151
movq 0xab2a8(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c589(%rip), %rsi     # 0xdf6ed
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x78(%rax)
jmp 0x53173
movq 0xab286(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c592(%rip), %rsi     # 0xdf718
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x88(%rax)
jmp 0x53198
movq 0xab261(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c593(%rip), %rsi     # 0xdf73e
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x60(%rax)
jmp 0x531ba
movq 0xab23f(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c585(%rip), %rsi     # 0xdf752
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x68(%rax)
jmp 0x531dc
movq 0xab21d(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c588(%rip), %rsi     # 0xdf777
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x70(%rax)
jmp 0x531fe
movq 0xab1fb(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c590(%rip), %rsi     # 0xdf7a1
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x80(%rax)
jmp 0x53223
movq 0xab1d6(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c590(%rip), %rsi     # 0xdf7c6
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x90(%rax)
jmp 0x53248
movq 0xab1b1(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c595(%rip), %rsi     # 0xdf7f0
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xd0(%rax)
jmp 0x5326d
movq 0xab18c(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c58f(%rip), %rsi     # 0xdf80f
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xd8(%rax)
jmp 0x53292
movq 0xab167(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c58a(%rip), %rsi     # 0xdf82f
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0xe0(%rax)
jmp 0x532b7
movq 0xab142(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c57d(%rip), %rsi     # 0xdf847
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x138(%rax)
jmp 0x532dc
movq 0xab11d(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c56c(%rip), %rsi     # 0xdf85b
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x140(%rax)
jmp 0x53301
movq 0xab0f8(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c572(%rip), %rsi     # 0xdf886
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x148(%rax)
jmp 0x53326
movq 0xab0d3(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c56a(%rip), %rsi     # 0xdf8a3
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x150(%rax)
jmp 0x5334b
movq 0xab0ae(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c561(%rip), %rsi     # 0xdf8bf
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x158(%rax)
jmp 0x53370
movq 0xab089(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c55b(%rip), %rsi     # 0xdf8de
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x160(%rax)
jmp 0x53395
movq 0xab064(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c553(%rip), %rsi     # 0xdf8fb
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x168(%rax)
jmp 0x533ba
movq 0xab03f(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c54e(%rip), %rsi     # 0xdf91b
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x170(%rax)
jmp 0x533df
movq 0xab01a(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c546(%rip), %rsi     # 0xdf938
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x178(%rax)
jmp 0x53404
movq 0xaaff5(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c53c(%rip), %rsi     # 0xdf953
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x180(%rax)
jmp 0x53429
movq 0xaafd0(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c535(%rip), %rsi     # 0xdf971
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x188(%rax)
jmp 0x5344e
movq 0xaafab(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c52f(%rip), %rsi     # 0xdf990
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x190(%rax)
jmp 0x53473
movq 0xaaf86(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c52a(%rip), %rsi     # 0xdf9b0
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x198(%rax)
jmp 0x53498
movq 0xaaf61(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c522(%rip), %rsi     # 0xdf9cd
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1a0(%rax)
jmp 0x534bd
movq 0xaaf3c(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c526(%rip), %rsi     # 0xdf9f6
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1a8(%rax)
jmp 0x534e2
movq 0xaaf17(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c52f(%rip), %rsi     # 0xdfa24
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1b0(%rax)
jmp 0x53507
movq 0xaaef2(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c529(%rip), %rsi     # 0xdfa43
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1b8(%rax)
jmp 0x5352c
movq 0xaaecd(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c526(%rip), %rsi     # 0xdfa65
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1c0(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x1c0(%rax)
jne 0x53580
movq 0xaae9c(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c515(%rip), %rsi     # 0xdfa85
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1c0(%rax)
movq (%rsp), %rax
cmpq $0x0, 0x1c0(%rax)
jne 0x535b1
movq 0xaae6b(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c507(%rip), %rsi     # 0xdfaa8
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1c0(%rax)
jmp 0x535b3
jmp 0x535b5
movq 0xaae44(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c503(%rip), %rsi     # 0xdfacb
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1c8(%rax)
jmp 0x535da
movq 0xaae1f(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c50d(%rip), %rsi     # 0xdfafa
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1d0(%rax)
jmp 0x535ff
movq 0xaadfa(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c514(%rip), %rsi     # 0xdfb26
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1d8(%rax)
jmp 0x53624
movq 0xaadd5(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c52f(%rip), %rsi     # 0xdfb66
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1e0(%rax)
jmp 0x53649
movq 0xaadb0(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c542(%rip), %rsi     # 0xdfb9e
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1e8(%rax)
jmp 0x5366e
movq 0xaad8b(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c548(%rip), %rsi     # 0xdfbc9
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1f0(%rax)
jmp 0x53693
movq 0xaad66(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c548(%rip), %rsi     # 0xdfbee
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x1f8(%rax)
jmp 0x536b8
movq 0xaad41(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c53a(%rip), %rsi     # 0xdfc05
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x200(%rax)
jmp 0x536dd
movq 0xaad1c(%rip), %rax     # 0xfe400
movq 0x10(%rsp), %rdi
leaq 0x8c528(%rip), %rsi     # 0xdfc18
callq *%rax
movq %rax, %rcx
movq (%rsp), %rax
movq %rcx, 0x208(%rax)
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)