Annotations: tests