Add some printf statements