module M {
  Main () : void {
    // no clue how to check this kind of stuff :/
    // one need to inspect out.exe
    def _x = 3 * 7 + 8;
    def _y = -1;
    _ = -0;


    // bug #780
    System.Console.WriteLine (0xF0000000 & 0xF0000000);
    System.Console.WriteLine (0xF000000000000000UL & 0xF000000000000000UL);
  }

  // bug #690
  DescendantPrint : string -> bool = null;

  public Print() : void
  {
    when (DescendantPrint != null)
      ()
  }

}

/*
BEGIN-OUTPUT
4026531840
17293822569102704640
END-OUTPUT
*/