/* /nodynamiccopyright/ */

@A(x=1, x=2) // error: duplicate x
class E {
}