@interface A1 {
    String[] value() default {};
}

@interface A2 {
    String[] value();
}

class Annotation {
    @A1({"a", "b"})
    void m1() {}

    @A1(value = {"a", "b"})
    void m2() {}

    @A2({"a", "b"})
    void m3() {}

    @A2(value = {"a", "b"})
    void m4() {}
}
