I had to throw it in a struct to prevent gcc from rearranging the variables.  But this demonstrates the problem--when it prints the string, it doesn't stop at the end.

-----
#include <stdio.h>

typedef struct
{
        int a;
        char b[8];
        int c;
} abc_t;

int main(int argc, char *argv[])
{
        abc_t abc = {-1, "abcdefgh", -1};
        printf("abc %i%s%i\n", abc.a, abc.b, abc.c);
        return 0;
}
-----