Some more debug outputs