; assembly                                                                                           | /* r2dec pseudo code output */
                                                                                                         | /* baljsn_encoder.t/assume @ 0x4d14a0 */
                                                                                                         | #include <stdint.h>
                                                                                                         |  
    ; (fcn) method.BloombergLP::s_baltst::SequenceWithAnonymityChoice1.selectionName___const ()          | int32_t method_BloombergLP::s_baltst::SequenceWithAnonymityChoice1_selectionName_const (int64_t arg1) {
                                                                                                         |     rdi = arg1;
                                                                                                         |     /* BloombergLP::s_baltst::SequenceWithAnonymityChoice1::selectionName() const */
    0x004d14a0 mov eax, dword [rdi + 0x30]                                                               |     eax = *((rdi + 0x30));
    0x004d14a3 test eax, eax                                                                             |     
                                                                                                         |     if (eax != 0) {
    0x004d14a5 je 0x4d14b2                                                                               |         
    0x004d14a7 cmp eax, 1                                                                                |         
                                                                                                         |         if (eax != 1) {
    0x004d14aa jne 0x4d14b8                                                                              |             goto label_0;
                                                                                                         |         }
    0x004d14ac mov eax, 0x54ee14                                                                         |         eax = "selection6";
    0x004d14b1 ret                                                                                       |         return eax;
                                                                                                         |     }
    0x004d14b2 mov eax, 0x54ee09                                                                         |     eax = "selection5";
    0x004d14b7 ret                                                                                       |     return eax;
                                                                                                         | label_0:
    0x004d14b8 mov eax, 0x54c27a                                                                         |     eax = "(* UNDEFINED *)";
    0x004d14bd ret                                                                                       |     return eax;
                                                                                                         | }