Initial handling of annotations abstractly