void log_stats(void)
{
    extern int uactive;
    extern int tactive;
    extern uint64 numqueries;
    extern uint64 cache_motion;

    string ("stats ");
    number (numqueries);
    space ();
    number (cache_motion);
    space ();
    number (uactive);
    space ();
    number (tactive);

    line ();
}
void log_stats(void)
{
    extern int uactive;
    extern int tactive;
    extern uint64 numqueries;
    extern uint64 cache_motion;

    string ("stats ");
    number (numqueries);
    space ();
    number (cache_motion);
    space ();
    number (uactive);
    space ();
    number (tactive);

    line ();
}