; assembly                                                                                   | /* r2dec pseudo code output */
                                                                                                 | /* baljsn_encoder.t/assume @ 0x4b6510 */
                                                                                                 | #include <stdint.h>
                                                                                                 |  
    ; (fcn) method.BloombergLP::s_baltst::MySequenceWithChoiceChoice.makeChoiceA_int_ ()         | int64_t method_BloombergLP::s_baltst::MySequenceWithChoiceChoice_makeChoiceA_int_ (int64_t arg2, uint32_t arg1) {
                                                                                                 |     rsi = arg2;
                                                                                                 |     rdi = arg1;
                                                                                                 |     /* BloombergLP::s_baltst::MySequenceWithChoiceChoice::makeChoiceA(int) */
    0x004b6510 mov rax, rdi                                                                      |     rax = rdi;
    0x004b6513 cmp dword [rdi + 4], 0                                                            |     
                                                                                                 |     if (*((rdi + 4)) != 0) {
    0x004b6517 je 0x4b6523                                                                       |         
    0x004b6519 mov dword [rax], esi                                                              |         *(rax) = esi;
    0x004b651b mov dword [rax + 4], 0                                                            |         *((rax + 4)) = 0;
    0x004b6522 ret                                                                               |         return rax;
                                                                                                 |     }
    0x004b6523 mov dword [rax], esi                                                              |     *(rax) = esi;
    0x004b6525 ret                                                                               |     return rax;
                                                                                                 | }