; assembly                                                                   | /* r2dec pseudo code output */
                                                                                 | /* baljsn_encoder.t/assume @ 0x4b67e0 */
                                                                                 | #include <stdint.h>
                                                                                 |  
    ; (fcn) method.BloombergLP::s_baltst::MySequenceWithChoice.reset__ ()        | void method_BloombergLP::s_baltst::MySequenceWithChoice_reset_ (uint32_t arg1) {
                                                                                 |     rdi = arg1;
                                                                                 |     /* BloombergLP::s_baltst::MySequenceWithChoice::reset() */
    0x004b67e0 cmp dword [rdi + 4], 0                                            |     
    0x004b67e4 mov dword [rdi + 4], 0xffffffff                                   |     *((rdi + 4)) = 0xffffffff;
    0x004b67eb ret                                                               |     
                                                                                 | }