if (weight.length != dests.length)
if (weights.length != dests.length)
    public OutputTraceNode(int[] weight,			   InputTraceNode[][] dests) {	this.weights = weights;	this.dests = dests;	if (weight.length != dests.length)	    Utils.fail("Add comment later");    }