referee debugging