Stupid debugging code