createDumpGui     836 gui/Player.cpp     return createDumpGui(_windowID, _scale, _doLoop, *_runResources);
createDumpGui     635 gui/gui.h      std::auto_ptr<Gui> createDumpGui(unsigned long xid, float scale, bool loop, RunResources& r);