(* -*- coq-prog-args: ("-emacs" "-R" "4722" "Foo") -*- *)