// { dg-do run  }
int main()
{
  char c = '\351';
  if (c != '\351')
    return 1;
}