automatically annotated devset