1  f()
       2  {
       3    return (unsigned char)("\377"[0]);
       4  }
       5  
       6  main()
       7  {
       8    if (f() != (unsigned char)(0377))
       9      abort();
      10    exit (0);
      11  }