Library async_kernel

The entry point for this library is module Async_kernel.