; assembly                                                                                           | /* r2dec pseudo code output */
                                                                                                         | /* baljsn_decoder.t/assume @ 0x406870 */
                                                                                                         | #include <stdint.h>
                                                                                                         |  
    ; (fcn) method.BloombergLP::s_baltst::Colors.toString_BloombergLP::s_baltst::Colors::Value_ ()       | int64_t method_BloombergLP::s_baltst::Colors_toString_BloombergLP::s_baltst::Colors::Value_ (int64_t arg1) {
                                                                                                         |     rdi = arg1;
                                                                                                         |     /* BloombergLP::s_baltst::Colors::toString(BloombergLP::s_baltst::Colors::Value) */
    0x00406870 movsxd rax, edi                                                                           |     rax = (int64_t) edi;
    0x00406873 mov rax, qword [rax*8 + 0x4f4828]                                                         |     rax = *((rax*8 + 0x4f4828));
    0x0040687b ret                                                                                       |     return rax;
                                                                                                         | }