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