svoid close_pcall(AutoCloseable c) {
  if (c != null) pcall { c.close(); }
}