Removed unused COQSECTIONBEGIN, COQSECTIONEND, and COQVARIABLE.