docker stop coolc-spim && docker container rm coolc-spim