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