class Example1 {
    /* Unfortunately, bad things can happen when you don't
     * think about preconditions.  We forgot to mention
     * that x really needs to be an integer!
     */
    public static void main(String[] args) {
	char x = 'a';
	System.out.println(x + 1);
    }
}