Listing 10-19 extracted from chapter The .NET 2 type system from a C#2 point of view

Listing 10-18<     > Listing 10-20

This listing can be compiled with the command line:
csc.exe /target:exe Example_10_19.cs
Errors: 0 Warnings: 0

class Program {
   static void Main() {
      byte i = 255;
      checked{ i++; } // A System.OverflowException is raised.
   }
}