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