docs: public Table getUserTable(Session session, String name, String schema) {
  
          Table t = findUserTable(session, name, schema);
  
          if (t == null) {
              throw Error.error(ErrorCode.X_42501, name);
          }
  
          return t;
      }