} else {
field_12_name_text = StringUtil.readCompressedUnicode(in, field_3_length_name_text);
}
}
int nBytesAvailable = in.available() - (f7_customMenuLen
+ f8_descriptionTextLen + f9_helpTopicTextLen + f10_statusBarTextLen);
field_13_name_definition = Formula.read(field_4_length_name_definition, in, nBytesAvailable);
//Who says that this can only ever be compressed unicode???
field_14_custom_menu_text = StringUtil.readCompressedUnicode(in, f7_customMenuLen);