1  extern void abort (void);
       2  extern void exit (int);
       3  
       4  void t1 (int x)
       5  {
       6    if (x != 4100)
       7      abort ();
       8  }
       9  
      10  int t2 (void)
      11  {
      12    int i;
      13    t1 ((i = 4096) + 4);
      14    return i;
      15  }
      16  
      17  void t3 (long long x)
      18  {
      19    if (x != 0x80000fffULL)
      20      abort ();
      21  }
      22  
      23  long long t4 (void)
      24  {
      25    long long i;
      26    t3 ((i = 4096) + 0x7fffffffULL);
      27    return i;
      28  }
      29  
      30  main ()
      31  {
      32    if (t2 () != 4096)
      33      abort ();
      34    if (t4 () != 4096)
      35      abort ();
      36    exit (0);
      37  }