int _write(int file, char *ptr, int len)
{
   int i=0;

   (void)file;

   for(i=0 ; i<len ; i++)
   {
      ITM_SendChar((uint32_t)(*ptr++));
   }

   return len;
}