     "done"
     "enable_pr"
     "end"
+    "end_import"
+    "end_setup"
     "exit"
     "extract"
     "extract_type"

    "code_library"
    "code_module"
    "coinductive"
    "constdefs"
    "consts"
    "consts_code"
    "datatype"
    "defaultsort"
    "defer_recdef"
    "defs"
    "domain"
    "extract"
    "extract_type"
    "finalconsts"
    "fixpat"
    "fixrec"
    "global"
    "hide"
    "inductive"
    "judgment"
    "lemmas"

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