public aspect B {
	abstract public void A.foo();
}