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