Module Async_rpc_kernel.Async_rpc_kernel_stable