; assembly                                                                                   | /* r2dec pseudo code output */
                                                                                                 | /* baljsn_encoder.t/assume @ 0x4b6770 */
                                                                                                 | #include <stdint.h>
                                                                                                 |  
    ; (fcn) method.BloombergLP::s_baltst::MySequenceWithChoice.MySequenceWithChoice__ ()         | void method_BloombergLP::s_baltst::MySequenceWithChoice_MySequenceWithChoice_ (uint32_t arg1) {
                                                                                                 |     rdi = arg1;
                                                                                                 |     /* BloombergLP::s_baltst::MySequenceWithChoice::~MySequenceWithChoice() */
    0x004b6770 cmp dword [rdi + 4], 0                                                            |     
    0x004b6774 mov dword [rdi + 4], 0xffffffff                                                   |     *((rdi + 4)) = 0xffffffff;
    0x004b677b ret                                                                               |     
                                                                                                 | }