hsql examples