void set_class_id(jint value) { ushort_field_put(class_id_offset(), (jushort) value); }
void ushort_at_put(int index, jushort value) { ushort_field_put(offset_from_ushort_index(index), value); }