int dbg_out();           
     #define MAX_SIZE 1025
     char buffer[MAX_SIZE];
     int i;
     int k;

     sprintf(buffer,"%d...",k,...);
     for (i = 0; i < MAX_SIZE; i++)
          {
          /* Reached end of output buffer */
          if (buffer[i] == 0)
               break;
          else
               dbg_out(buffer[i]);
          }