; assembly                                                                                                                                           | /* r2dec pseudo code output */
                                                                                                                                                         | /* balcl_commandline.t/assume @ 0x45f5e0 */
                                                                                                                                                         | #include <stdint.h>
                                                                                                                                                         |  
    ; (fcn) sym._ZN11BloombergLP4bdlb10VariantImpINS_5bslmf8TypeListIJNS0_13NullableValueIbEENS4_IcEENS4_IiEENS4_IxEENS4_IdEENS4_IN3bsl12basic ()        | void ZN11BloombergLP4bdlb10VariantImpINS_5bslmf8TypeListIJNS0_13NullableValueIbEENS4_IcEENS4_IiEENS4_IxEENS4_IdEENS4_IN3bsl12basic (int64_t arg3, int64_t arg1) {
                                                                                                                                                         |     rdx = arg3;
                                                                                                                                                         |     rdi = arg1;
    0x0045f5e0 push r15                                                                                                                                  |     
    0x0045f5e2 push r14                                                                                                                                  |     
    0x0045f5e4 push rbx                                                                                                                                  |     
    0x0045f5e5 mov r14, rdi                                                                                                                              |     r14 = rdi;
    0x0045f5e8 dec edx                                                                                                                                   |     edx--;
    0x0045f5ea jmp qword [rdx*8 + 0x4af350]                                                                                                              |     
                                                                                                                                                         | }