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