(* -*- coq-prog-args: ("-compile" "bugs/closed/PLACEHOLDER.v") -*- *)