:noweb
header argument expansion
(message "expanded")
;; noweb-yes-start <<noweb-example>> ;; noweb-yes-end
;; noweb-no-start <<noweb-example>> ;; noweb-no-end
;; noweb-tangle-start <<noweb-example>> ;; noweb-tangle-end
prop
4
(message "not to be tangled")
(message "for tangling")