Export Control.Concurrent.Lifted