public class C1 { @A(20) void foo() { } }