Revert debug.c: No tag