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.
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.