A microworld to learn concurrency