let jessie_reserved_names =
[
"and"; "as"; "assert"; "assigns"; "assumes"; "axiom";
"behavior"; "boolean"; "break";
"case"; "catch"; "continue";
"default"; "do";
"else"; "end"; "ensures"; "exception";
"false"; "finally"; "for"; "free";
"goto";
"if"; "in"; "integer"; "invariant";
"lemma"; "let"; "logic";
"match";
"new"; "null";
"of";
"pack";
"reads"; "real"; "rep"; "requires"; "return";
"switch";
"tag"; "then"; "throw"; "throws"; "true"; "try"; "type";
"unit"; "unpack";
"var"; "variant";
"while"; "with";
]