5.13.5.Use Assertions to Check for unreachable code
public class MainClass{ public static void main(String[] argv){ int y = 0; switch(y) { case 1: y = 3; break; case 2: y = 9; break; case 3: y = 27; break; default: assert false; // we're never supposed to get here!
}