implementation("org.jetbrains.kotlinx:lincheck:2.38")
Lincheck - Framework for testing concurrent data structures