PolyML.make_database "bin/.dbase/twelf-server";
PolyML.exit 0;