hsql stuff