Support global variables with names that are not valid coq identifiers

Currently, the code generated from a global variable with the name "end" cannot be compiled by Coq because end is a reserved keyword in Coq but not in C.