; assembly                                                                                               | /* r2dec pseudo code output */
                                                                                                             | /* balxml_configschema.t/assume @ 0x43a5e0 */
                                                                                                             | #include <stdint.h>
                                                                                                             |  
    ; (fcn) method.BloombergLP::s_baltst::BasicSchemaSequenceElementChoice.selectionName___const ()          | int32_t method_BloombergLP::s_baltst::BasicSchemaSequenceElementChoice_selectionName_const (int64_t arg1) {
                                                                                                             |     rdi = arg1;
                                                                                                             |     /* BloombergLP::s_baltst::BasicSchemaSequenceElementChoice::selectionName() const */
    0x0043a5e0 mov eax, dword [rdi + 0x40]                                                                   |     eax = *((rdi + 0x40));
    0x0043a5e3 test eax, eax                                                                                 |     
                                                                                                             |     if (eax != 0) {
    0x0043a5e5 je 0x43a5f2                                                                                   |         
    0x0043a5e7 cmp eax, 1                                                                                    |         
                                                                                                             |         if (eax != 1) {
    0x0043a5ea jne 0x43a5f8                                                                                  |             goto label_0;
                                                                                                             |         }
    0x0043a5ec mov eax, 0x4a06ea                                                                             |         eax = 0x4a06ea;
    0x0043a5f1 ret                                                                                           |         return eax;
                                                                                                             |     }
    0x0043a5f2 mov eax, 0x4a210e                                                                             |     eax = "annotation";
    0x0043a5f7 ret                                                                                           |     return eax;
                                                                                                             | label_0:
    0x0043a5f8 mov eax, 0x4a212e                                                                             |     eax = "(* UNDEFINED *)";
    0x0043a5fd ret                                                                                           |     return eax;
                                                                                                             | }