let jessie_reserved_names =
  [
    (* a *) "and""as""assert""assigns""assumes""axiom";
    (* b *) "behavior""boolean""break";
    (* c *) "case""catch""continue";
    (* d *) "default""do";
    (* e *) "else""end""ensures""exception";
    (* f *) "false""finally""for""free";
    (* g *) "goto";
    (* i *) "if""in""integer""invariant";
    (* l *) "lemma""let""logic";
    (* m *) "match";
    (* n *) "new""null";
    (* o *) "of";
    (* p *) "pack";
    (* r *) "reads""real""rep""requires""return";
    (* s *) "switch";
    (* t *) "tag""then""throw""throws""true""try""type";
    (* u *) "unit""unpack";
    (* v *) "var""variant";
    (* w *) "while""with";
  ]