1  int s = 200;
       2  int __attribute__((noinline))
       3  foo (void)
       4  {
       5    return (signed char) (s - 100) - 5;
       6  }
       7  int
       8  main (void)
       9  {
      10    if (foo () != 95)
      11      abort ();
      12    exit (0);
      13  }