Overloadable primitives for potentially non-deterministic concurrency.