mquery STRICT "use strict instead of transitional mode(say n to use with COQ)" n "--strict" "--transitional"
