https://5dok.net/document/4yrk54pz-enabling-gocart-incorrectness-concurrent-programs-containing-buffered-channels.html