Annotation Type AlternateValueConstructor