; assembly                                                                       | /* r2dec pseudo code output */
                                                                                     | /* balber_berdecoder.t/none @ 0x45b500 */
                                                                                     | #include <stdint.h>
                                                                                     |  
    ; (fcn) method.BloombergLP::s_baltst::MyChoice.selectionName___const ()          | int64_t method_BloombergLP::s_baltst::MyChoice_selectionName_const (int64_t arg1) {
                                                                                     |     rdi = arg1;
                                                                                     |     /* BloombergLP::s_baltst::MyChoice::selectionName() const */
    0x0045b500 mov eax, dword [rdi + 0x30]                                           |     eax = *((rdi + 0x30));
    0x0045b503 cmp eax, 1                                                            |     
    0x0045b506 mov ecx, 0x497c06                                                     |     ecx = "selection2";
    0x0045b50b mov edx, 0x497c26                                                     |     edx = "(* UNDEFINED *)";
                                                                                     |     if (eax == 1) {
    0x0045b510 cmove rdx, rcx                                                        |         rdx = rcx;
                                                                                     |     }
    0x0045b514 test eax, eax                                                         |     
    0x0045b516 mov eax, 0x497bfb                                                     |     eax = "selection1";
                                                                                     |     if (eax != 0) {
    0x0045b51b cmovne rax, rdx                                                       |         rax = rdx;
                                                                                     |     }
    0x0045b51f ret                                                                   |     return rax;
                                                                                     | }