int test (void)
{
  unsigned char *s = "abc";
  char *t = "xyz";
  return s[1] + t[1];
}