Annotation tests