build-flags
fix-html-doc-paragraph
fix-math-h-include-header
fix-global-definitions
improve-feedback-to-user
fix-pointer-stuff
