CHANGES: mention CFI annotations.