u_drop (int j)
{
    if (!u[j].active)
        return;

    if (debug_level > 2)
        log_querydrop (&u[j].active);

    u[j].active = 0;
    --uactive;
}
u_drop (int j)
{
    if (!u[j].active)
        return;

    if (debug_level > 2)
        log_querydrop (&u[j].active);

    u[j].active = 0;
    --uactive;
}