A_test203.java

package destination_in;

public class A_test203 {
	@interface C {
		interface B {
			default void foo() {
				int i= /*[*/extracted();/*]*/				
			}
		}
	}

	protected static int extracted() {
		return 0;
	}		
}