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

Listing 10-14<     > Listing 10-16

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

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