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