svoid test_newPreciseCall() {
  class X {
    long x(long x) { ret x+1; }
  }
  
  assertEqualsVerbose(6L, newPreciseCall(new X, "x", 5));
  assertEqualsVerbose(2L, newPreciseCall(new X, "x", 1L));
}