Comment out spike printf