/* invoke gui debugger */
NODEBUG dbgui()
{
        /* check if a GUI debugger is installed */
        dbname = getconf("spl_debugger");

        if (strlen(dbname) > 0) {
                _mf("debug.pan");
        }
}