Some dff debugging...