Annotations used by Madvoc.