outcomment kodo_is_symbol_decoded