jchar char_at(int index) const { return char_field(offset_from_char_index(index)); }
jchar type_symbol() const { return char_field(type_symbol_offset()); }