srecord noeq InterfaceImplFromByteCode<A>(Class<A> intf, Class returnType, S methodName, Class[] argumentTypes, IVF1<MethodMaker> fillMethod) {
  ClassMaker<A> classMaker;
  MethodMaker methodMaker;
  settable bool printDisassembly;
  
  run {
    classMaker = new ClassMaker<A>(intf);
    classMaker.printDisassembly(printDisassembly);
    methodMaker = MethodMaker(classMaker, returnType, methodName, argumentTypes);
    fillMethod.get(methodMaker);
    methodMaker.done();
  }
  
  A get() {
    if (classMaker == null) run();
    ret classMaker.newInstance();
  }
}