; assembly                                                                       | /* r2dec pseudo code output */
                                                                                     | /* balber_berdecoder.t/assume @ 0x45b5f0 */
                                                                                     | #include <stdint.h>
                                                                                     |  
    ; (fcn) method.BloombergLP::s_baltst::MyChoice.selectionName___const ()          | int32_t method_BloombergLP::s_baltst::MyChoice_selectionName_const (int64_t arg1) {
                                                                                     |     rdi = arg1;
                                                                                     |     /* BloombergLP::s_baltst::MyChoice::selectionName() const */
    0x0045b5f0 mov eax, dword [rdi + 0x30]                                           |     eax = *((rdi + 0x30));
    0x0045b5f3 test eax, eax                                                         |     
                                                                                     |     if (eax != 0) {
    0x0045b5f5 je 0x45b602                                                           |         
    0x0045b5f7 cmp eax, 1                                                            |         
                                                                                     |         if (eax != 1) {
    0x0045b5fa jne 0x45b608                                                          |             goto label_0;
                                                                                     |         }
    0x0045b5fc mov eax, 0x49782e                                                     |         eax = "selection2";
    0x0045b601 ret                                                                   |         return eax;
                                                                                     |     }
    0x0045b602 mov eax, 0x497823                                                     |     eax = "selection1";
    0x0045b607 ret                                                                   |     return eax;
                                                                                     | label_0:
    0x0045b608 mov eax, 0x49784e                                                     |     eax = "(* UNDEFINED *)";
    0x0045b60d ret                                                                   |     return eax;
                                                                                     | }