package p; public class A { @Some @Thing @Else void foo() { } }