; assembly                                                                                               | /* r2dec pseudo code output */
                                                                                                             | /* balb_testmessages.t/assume @ 0x404fc0 */
                                                                                                             | #include <stdint.h>
                                                                                                             |  
    ; (fcn) method.BloombergLP::balb::Enumerated.toString_BloombergLP::balb::Enumerated::Value_ ()           | int64_t method_BloombergLP::balb::Enumerated_toString_BloombergLP::balb::Enumerated::Value_ (int64_t arg1) {
                                                                                                             |     rdi = arg1;
                                                                                                             |     /* BloombergLP::balb::Enumerated::toString(BloombergLP::balb::Enumerated::Value) */
    0x00404fc0 movsxd rax, edi                                                                               |     rax = (int64_t) edi;
    0x00404fc3 mov rax, qword [rax*8 + 0x4481e0]                                                             |     rax = *((rax*8 + 0x4481e0));
    0x00404fcb ret                                                                                           |     return rax;
                                                                                                             | }