// write an entire file (eg. player, control)
void WriteTopThing (const string & filename, 
                    const string & name, 
                    const TopThing & obj);

// save an ObjectList
void WriteObjectList (ObjectList & which, const string & filename, const string & doctype);
