persistable sclass WrappedCloseable<A extends AutoCloseable> is IAutoCloseableF0<A> {
  A closeable;
  
  *(A *closeable) {}
  
  public A get() { ret closeable; }
  
  close {
    beforeClose();
    main close(closeable);
  }
  
  void beforeClose {}
}