     "fix"
     "fixpat"
     "fixrec"
+    "flush_dump"
     "from"
     "full_prf"
     "global"

    "header"
    "hence"
    "hide"
    "inductive"
    "inductive_cases"
    "init_toplevel"

    "datatype"
    "declare"
    "def"
    "def_maps"
    "defaultsort"
    "defer"
    "defer_recdef"
