1  int foo( unsigned long long aLL )
       2  {
       3      switch( aLL )
       4      {
       5          case 1000000000000000000ULL ... 9999999999999999999ULL : return 19 ; 
       6          default                                 : return 20 ;
       7      };
       8  };
       9  extern void abort (void);
      10  int main()
      11  {
      12      unsigned long long aLL = 1000000000000000000ULL;
      13      if (foo (aLL) != 19)
      14  	abort ();
      15      return 0;
      16  }