class annot(notValue: String) extends annotation.ClassfileAnnotation
@annot("") class C