/Year 3/Compilers, Introduction/coolc-spim/docker-container/