srecord TestFunctionValues<A, B>(IF1<A, B> function) {
  new LPair<A, B> pairs;
  
  selfType io(A input, B output) {
    pairs.add(pair(input, output));
    this;
  }
  
  void clear { pairs.clear(); }
  
  run {
    for (p : pairs)
      testFunctionValue(function, p.a, p.b);
      
    print(nTests(pairs) + " OK");
  }
  
  void runAndClear {
    run();
    clear();
  }
}