; assembly                                       | /* r2dec pseudo code output */
                                                     | /* balcl_commandline.t/assume @ 0x4605d0 */
                                                     | #include <stdint.h>
                                                     |  
    ; (fcn) fcn.004605d0 ()                          | void fcn_004605d0 (int64_t arg3, int64_t arg1) {
                                                     |     rdx = arg3;
                                                     |     rdi = arg1;
    0x004605d0 push r15                              |     
    0x004605d2 push r14                              |     
    0x004605d4 push rbx                              |     
    0x004605d5 sub rsp, 0x30                         |     
    0x004605d9 mov rbx, rdi                          |     rbx = rdi;
    0x004605dc dec edx                               |     edx--;
    0x004605de jmp qword [rdx*8 + 0x4af478]          |     
                                                     | }