(;EV[amzn.ch.11.4.4]PB[Ola Mikael Hansson]PW[CoPLaS (cpls)]SO[https://www.littlegolem.net])