abstractions for concurrency 24390