macro-in-comment
make-check-outside-check-section
no-%check-section
no-dependency-on