generate the annotations that CARMEN uses internally