// System.err.printf("Warning: a lot of keys\n") ;
int[] keys1 = rand(numKeys, 0, maxValue) ;
int[] keys2 = permute(keys1, numKeys) ;
try {
ExtHash extHash = ExtHashTestBase.create(keys1) ;
ExtHashTestBase.delete(extHash, keys2) ;
} catch (RuntimeException ex)
{
System.err.printf("int[] keys1 = {%s} ;\n", strings(keys1)) ;
System.err.printf("int[] keys2 = {%s}; \n", strings(keys2)) ;