Coq plugin with an empty code