private final RL_abstract_type getAbstractType() {
final int numInts = this.getInt();
final int numDoubles = this.getInt();
final int numChars = this.getInt();
RL_abstract_type key = new RL_abstract_type(numInts, numDoubles, numChars);
key.intArray = getInts(numInts);
key.doubleArray = getDoubles(numDoubles);
for (int i = 0; i < numChars; ++i) {