1  /* Verify unaligned address aliasing on Alpha EV[45].  */
       2  
       3  static unsigned short x, y;
       4  
       5  void foo()
       6  {
       7    x = 0x345;
       8    y = 0x567;
       9  }
      10  
      11  int main()
      12  {
      13    foo ();
      14    if (x != 0x345 || y != 0x567)
      15      abort ();
      16    exit (0);
      17  }