; assembly                                                                                       | /* r2dec pseudo code output */
                                                                                                     | /* baljsn_encoder.t/assume @ 0x4b6700 */
                                                                                                     | #include <stdint.h>
                                                                                                     |  
    ; (fcn) method.BloombergLP::s_baltst::MySequenceWithChoiceChoice.selectionName___const ()        | int32_t method_BloombergLP::s_baltst::MySequenceWithChoiceChoice_selectionName_const (uint32_t arg1) {
                                                                                                     |     rdi = arg1;
                                                                                                     |     /* BloombergLP::s_baltst::MySequenceWithChoiceChoice::selectionName() const */
    0x004b6700 cmp dword [rdi + 4], 0                                                                |     
                                                                                                     |     if (*((rdi + 4)) != 0) {
    0x004b6704 je 0x4b670c                                                                           |         
    0x004b6706 mov eax, 0x54c27a                                                                     |         eax = "(* UNDEFINED *)";
    0x004b670b ret                                                                                   |         return eax;
                                                                                                     |     }
    0x004b670c mov eax, 0x648818                                                                     |     eax = "choiceA";
    0x004b6711 ret                                                                                   |     return eax;
                                                                                                     | }