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