sclass proxy_InvocationHandler implements InvocationHandler {
  O target;
  
  *() {}
  *(O *target) {}
  
  public O invoke(O proxy, Method method, O[] args) {
    ret call(target, method.getName(), unnull(args));
  }
}