expanded class INTEGER_16 Ancestors INTEGER_16_REF Clients EV_DOCKABLE_SOURCE_I* EV_PICK_AND_DROPABLE_I* EV_PICK_AND_DROPABLE_IMP* INTEGER_16_REF INTEGER_32_REF INTEGER_64_REF INTEGER_OVERFLOW_CHECKER JAVA_ARGS MANAGED_POINTER NATURAL_16_REF NATURAL_32_REF NATURAL_64_REF PLAIN_TEXT_FILE SED_BINARY_READER_WRITER* STRING_TO_INTEGER_CONVERTOR TUPLE WEL_STRING