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