package p1; public @interface annot { }