persistable sclass WrappedCloseable<A extends AutoCloseable> is IF0<A> {
  A closeable;
  
  *(A *closeable) {}
  
  public A get() { ret closeable; }
}