annot conflicts yas's C-c a prefix
pretty-mode