int dimensions[] = new int[0];
boolean isClock = false, isReset = false;
String[] annotations = null;
while ((tlv = readTLV(VariableTypes.name)) != null) {
final ExecutableInputStream ex = new ExecutableInputStream(new ByteArrayInputStream(tlv.value));
final VariableTypes it = (VariableTypes) tlv.type;
switch (it) {
case dimensions:
dimensions = ex.readIntArray();
break;
case flags: