; assembly                                                                                                                               | /* r2dec pseudo code output */
                                                                                                                                             | /* baljsn_encoder.t/assume @ 0x4b6540 */
                                                                                                                                             | #include <stdint.h>
                                                                                                                                             |  
    ; (fcn) method.BloombergLP::s_baltst::MySequenceWithChoiceChoice.operator_BloombergLP::s_baltst::MySequenceWithChoiceChoice_ ()          | int64_t method_BloombergLP::s_baltst::MySequenceWithChoiceChoice_operator_BloombergLP::s_baltst::MySequenceWithChoiceChoice_ (uint32_t arg2, uint32_t arg1) {
                                                                                                                                             |     rsi = arg2;
                                                                                                                                             |     rdi = arg1;
                                                                                                                                             |     /* BloombergLP::s_baltst::MySequenceWithChoiceChoice::operator=(BloombergLP::s_baltst::MySequenceWithChoiceChoice&&) */
    0x004b6540 mov rax, rdi                                                                                                                  |     rax = rdi;
    0x004b6543 cmp rdi, rsi                                                                                                                  |     
                                                                                                                                             |     if (rdi != rsi) {
    0x004b6546 je 0x4b6559                                                                                                                   |         
    0x004b6548 cmp dword [rsi + 4], 0                                                                                                        |         
                                                                                                                                             |         if (*((rsi + 4)) == 0) {
    0x004b654c je 0x4b655a                                                                                                                   |             goto label_0;
                                                                                                                                             |         }
    0x004b654e cmp dword [rax + 4], 0                                                                                                        |         
    0x004b6552 mov dword [rax + 4], 0xffffffff                                                                                               |         *((rax + 4)) = 0xffffffff;
                                                                                                                                             |     }
    0x004b6559 ret                                                                                                                           |     return rax;
                                                                                                                                             | label_0:
    0x004b655a mov ecx, dword [rsi]                                                                                                          |     ecx = *(rsi);
    0x004b655c cmp dword [rax + 4], 0                                                                                                        |     
                                                                                                                                             |     if (*((rax + 4)) != 0) {
    0x004b6560 je 0x4b656c                                                                                                                   |         
    0x004b6562 mov dword [rax], ecx                                                                                                          |         *(rax) = ecx;
    0x004b6564 mov dword [rax + 4], 0                                                                                                        |         *((rax + 4)) = 0;
    0x004b656b ret                                                                                                                           |         return rax;
                                                                                                                                             |     }
    0x004b656c mov dword [rax], ecx                                                                                                          |     *(rax) = ecx;
    0x004b656e ret                                                                                                                           |     return rax;
                                                                                                                                             | }