import java.io.*;

public class CheckedDemo {
    static void read() throws IOException { throw new IOException("disk"); }

    public static void main(String[] args) {
        read();                                   // checked exception not handled
        try {
            read();
        } catch (Exception e) {                   // too general, caught first
        } catch (IOException e) {                 // unreachable
        }
    }
}
