abstract result type Res
ensure termination of concurrent tests