#include <stdio.h>

int w[16];

void main (void)
 { char buffer[1024], *ptr=buffer;
   for (int i=0; i<8; ++i)
      ptr += sprintf (ptr, "W%-2d=0x%04X ", i, w[i]);
   printf ("buffer is '%s'\n", buffer);
 }