let get_global_state =
  Dynamic.register
    ~plugin:"RteGen"
    "get_global_state"
    (Datatype.func
       Kernel_function.ty
       State.ty)
    ~journalize:true
    RteGlobalTbl.get_state