; assembly                                                                           | /* r2dec pseudo code output */
                                                                                         | /* baljsn_encoder.t/none @ 0x4b6800 */
                                                                                         | #include <stdint.h>
                                                                                         |  
    ; (fcn) method.BloombergLP::s_baltst::MySequenceWithChoiceChoice.reset__ ()          | void method_BloombergLP::s_baltst::MySequenceWithChoiceChoice_reset_ (int64_t arg1) {
                                                                                         |     rdi = arg1;
                                                                                         |     /* BloombergLP::s_baltst::MySequenceWithChoiceChoice::reset() */
    0x004b6800 mov dword [rdi + 4], 0xffffffff                                           |     *((rdi + 4)) = 0xffffffff;
    0x004b6807 ret                                                                       |     
                                                                                         | }