; assembly                                                                                                                                           | /* r2dec pseudo code output */
                                                                                                                                                         | /* bblb_schedulegenerationutil.t/assume @ 0x41e770 */
                                                                                                                                                         | #include <stdint.h>
                                                                                                                                                         |  
    ; (fcn) method.BloombergLP::bdlc::PackedIntArrayImp_BloombergLP::bdlc::PackedIntArrayImp_Unsigned_.replaceImp_unsigned_long__unsigned_long_ ()       | int32_t method_BloombergLP::bdlc::PackedIntArrayImp_BloombergLP::bdlc::PackedIntArrayImp_Unsigned_replaceImp_unsigned_long_unsigned_long_ (int64_t arg1) {
                                                                                                                                                         |     rdi = arg1;
                                                                                                                                                         |     /* BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(unsigned long, unsigned long) */
    0x0041e770 mov eax, dword [rdi + 0x10]                                                                                                               |     eax = *((rdi + 0x10));
    0x0041e773 dec eax                                                                                                                                   |     eax--;
    0x0041e775 jmp qword [rax*8 + 0x45fee0]                                                                                                              |     
                                                                                                                                                         | }