interface Int4 {
    public void method() throws Exception;
}