Add debugging prints