A bit deeper in debugging