; assembly                                       | /* r2dec pseudo code output */
                                                     | /* balcl_commandline.t/assume @ 0x45fa20 */
                                                     | #include <stdint.h>
                                                     |  
    ; (fcn) fcn.0045fa20 ()                          | int64_t fcn_0045fa20 (int64_t arg3, int64_t arg1) {
                                                     |     rdx = arg3;
                                                     |     rdi = arg1;
    0x0045fa20 push r14                              |     
    0x0045fa22 push rbx                              |     
    0x0045fa23 push rax                              |     
    0x0045fa24 mov rax, rdi                          |     rax = rdi;
    0x0045fa27 dec edx                               |     edx--;
    0x0045fa29 jmp qword [rdx*8 + 0x4af3d8]          |     
                                                     | }