a debugging workshop