Pair.length() changed to Pair.length, by a clever hack