Added debug print through ITM