Add some debugging prints