{
if (loader != null || Info.Format != Mchar_table)
throw new ArgumentException ("Not a database of CharTable type");
if (! update_status ())
throw new Exception ("Database invalid");
{
if (loader != null || Info.Format != Mchar_table)
throw new ArgumentException ("Not a database of CharTable type");
if (! update_status ())
throw new Exception ("Database invalid");