tapeName = "cluster_"+source+"_"+dest;
    TapeCluster(int source, int dest, CType type) {        super(source,dest,type);        push_name = "__push_"+source+"_"+dest;        pop_name = "__pop_"+source+"_"+dest;        push_buffer = "__push_buffer_"+source+"_"+dest;        pop_buffer = "__pop_buffer_"+source+"_"+dest;        push_index = "__push_index_"+source+"_"+dest;        pop_index = "__pop_index_"+source+"_"+dest;        producer_name = "__producer_"+source+"_"+dest;        consumer_name = "__consumer_"+source+"_"+dest;    }