Hi,

ich mach das so:
char string1[255];
snprintf(string1,255,"+++| %4d | %4d | %4d | %4d | %4d | %4d |---\r\n",pos[ODLEFT],pos[ODRIGHT],pos[IRLEFT],pos[IRRIGHT],pos[ADCSWITCH],pos[ADCBATT]);
SerWrite(string1,strlen(string1));

Oben mußt du noch
#include <stdio.h>
#include <string.h>
angeben.

snprintf ist so etwas wie printf, schreibt den String nur in eine Variable.
Und dass kannst du dann über SerWrite ausgeben.