+
−function datetuple(d) {
+
−    return [d.getFullYear(), d.getMonth()+1, d.getDate(), 
+
−	    d.getHours(), d.getMinutes()];
+
−}
+
−    
+
−function pprint(obj) {
+
−    print('{');
+
−    for(k in obj) {
+
−	print('  ' + k + ' = ' + obj[k]);
+
−    }
+
−    print('}');
+
−}
+
−
+
−function arrayrepr(array) {
+
−    return '[' + array.join(', ') + ']';
+
−}
+
−    
+
−function assertArrayEquals(array1, array2) {
+
−    if (array1.length != array2.length) {
+
−	throw new crosscheck.AssertionFailure(array1.join(', ') + ' != ' + array2.join(', '));
+
−    }
+
−    for (var i=0; i<array1.length; i++) {
+
−	if (array1[i] != array2[i]) {
+
−	    
+
−	    throw new crosscheck.AssertionFailure(arrayrepr(array1) + ' and ' + arrayrepr(array2)
+
−						 + ' differs at index ' + i);
+
−	}
+
−    }
+
−}