Async_kernel contains Async's core data structures.