CS1950Y Lecture #5 Code, Part 3
2/1/2019

//newtype int32 = x | -0x80000000 <= x < 0x80000000
newtype{:nativeType "int"} int32 = i:int | -0x80000000 <= i < 0x80000000

method Main() {
    var i :=  2147483647; //32bit, signed maxint
    while(i < 2147483650) 
      decreases 2147483650-i
    {
        print "i=",i,"\n";
        i := i + 1;
    }
    print "done!\n";

    var i2: int32 := 2147483647;
    while(i2 < 2147483650) 
      decreases 2147483650-i2
    {
        print "i2=",i2,"\n";
        i2 := i2 + 1;
    }
    print "done!\n";

}