; assembly                                                                                                   | /* r2dec pseudo code output */
                                                                                                                 | /* balber_berdecoder.t/assume @ 0x45d120 */
                                                                                                                 | #include <stdint.h>
                                                                                                                 |  
    ; (fcn) method.BloombergLP::s_baltst::MySequenceWithAnonymousChoiceChoice.selectionName___const ()           | int32_t method_BloombergLP::s_baltst::MySequenceWithAnonymousChoiceChoice_selectionName_const (int64_t arg1) {
                                                                                                                 |     rdi = arg1;
                                                                                                                 |     /* BloombergLP::s_baltst::MySequenceWithAnonymousChoiceChoice::selectionName() const */
    0x0045d120 mov eax, dword [rdi + 0x30]                                                                       |     eax = *((rdi + 0x30));
    0x0045d123 test eax, eax                                                                                     |     
                                                                                                                 |     if (eax != 0) {
    0x0045d125 je 0x45d132                                                                                       |         
    0x0045d127 cmp eax, 1                                                                                        |         
                                                                                                                 |         if (eax != 1) {
    0x0045d12a jne 0x45d138                                                                                      |             goto label_0;
                                                                                                                 |         }
    0x0045d12c mov eax, 0x49bef1                                                                                 |         eax = "myChoice2";
    0x0045d131 ret                                                                                               |         return eax;
                                                                                                                 |     }
    0x0045d132 mov eax, 0x49bee7                                                                                 |     eax = "myChoice1";
    0x0045d137 ret                                                                                               |     return eax;
                                                                                                                 | label_0:
    0x0045d138 mov eax, 0x49784e                                                                                 |     eax = "(* UNDEFINED *)";
    0x0045d13d ret                                                                                               |     return eax;
                                                                                                                 | }