private int intTupleToInt(TupleExpression msg) {
    if (msg.getTupleType().equals("Z")) {
      return 0;
    }
    else if (msg.getTupleType().equals("I") && msg.getElements().size() == 1
        && msg.getElements().get(0) instanceof TupleExpression) {
      return 1 + intTupleToInt((TupleExpression)msg.getElements().get(0));
    }
    else {
      return 0;
    }
  }