K400: Comment out debug code for handleINIT