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