stop using inner-conditional
cl-annot --> cl-syntax-annot