void char_at_put(int index, jchar value) { char_field_put(offset_from_char_index(index), value); }
void set_type_symbol(jchar value) { char_field_put(type_symbol_offset(), value); }