; assembly                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                 | /* bblb_schedulegenerationutil.t/assume @ 0x41b190 */
                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                 |  
    ; (fcn) method.BloombergLP::bdlc::PackedIntArrayImp_BloombergLP::bdlc::PackedIntArrayImp_Signed_.replaceImp_unsigned_long__long_ ()          | int32_t method_BloombergLP::bdlc::PackedIntArrayImp_BloombergLP::bdlc::PackedIntArrayImp_Signed_replaceImp_unsigned_long_long_ (int64_t arg1) {
                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                 |     /* BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replaceImp(unsigned long, long) */
    0x0041b190 mov eax, dword [rdi + 0x10]                                                                                                       |     eax = *((rdi + 0x10));
    0x0041b193 dec eax                                                                                                                           |     eax--;
    0x0041b195 jmp qword [rax*8 + 0x45fc60]                                                                                                      |     
                                                                                                                                                 | }