; assembly                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                 | /* bblb_schedulegenerationutil.t/assume @ 0x420180 */
                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                 |  
    ; (fcn) method.BloombergLP::bdlc::PackedIntArrayImp_BloombergLP::bdlc::PackedIntArrayImp_Unsigned_.operator___unsigned_long__const ()        | int32_t method_BloombergLP::bdlc::PackedIntArrayImp_BloombergLP::bdlc::PackedIntArrayImp_Unsigned_operator_unsigned_long_const (int64_t arg1) {
                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                 |     /* BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::operator[](unsigned long) const */
    0x00420180 mov eax, dword [rdi + 0x10]                                                                                                       |     eax = *((rdi + 0x10));
    0x00420183 dec eax                                                                                                                           |     eax--;
    0x00420185 jmp qword [rax*8 + 0x4600a0]                                                                                                      |     
                                                                                                                                                 | }