System.out.println("Tape Type: " + tapeType.toString());
    public CType getType() {	System.out.println("Tape Type: " + tapeType.toString());        if (tapeType != null)            return tapeType;	return CStdType.Void;    }