docs: public static void storeVar(
  			int newValKind,
  			Object newVal,
  			int oldValKind,
  			Object oldVal,
  			int var,
  			String callerClass,
  			String callerMethod,
  			int callerValKind,
  			Object caller) {
  		System.err.println("storeVar(        "+
  				valAndValKindToString(newVal, "<UnknownClass>", newValKind)+", "+
  				"oldVal="+valAndValKindToString(oldVal, "<UnknownClass>", oldValKind)+", "+
  				"var="+var+", "+
  //				"callerClass="+callerClass+", "+
  				"callermethod="+callerMethod+", "+
  				"caller="+valAndValKindToString(caller, callerClass, callerValKind)+", "+
  				")");
  	}