; assembly                                                                                       | /* r2dec pseudo code output */
                                                                                                     | /* baljsn_decoder.t/assume @ 0x408c80 */
                                                                                                     | #include <stdint.h>
                                                                                                     |  
    ; (fcn) method.BloombergLP::case4::Color.toString_BloombergLP::case4::Color::Value_ ()           | int64_t method_BloombergLP::case4::Color_toString_BloombergLP::case4::Color::Value_ (int64_t arg1) {
                                                                                                     |     rdi = arg1;
                                                                                                     |     /* BloombergLP::case4::Color::toString(BloombergLP::case4::Color::Value) */
    0x00408c80 movsxd rax, edi                                                                       |     rax = (int64_t) edi;
    0x00408c83 mov rax, qword [rax*8 + 0x4f47e0]                                                     |     rax = *((rax*8 + 0x4f47e0));
    0x00408c8b ret                                                                                   |     return rax;
                                                                                                     | }