This is a virtual machine image demonstrating the system described in the following publication. Stephen Kell. Dynamically diagnosing run-time type errors in unsafe code. In Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2016. The image was created with Oracle VirtualBox 5.0.4 and should boot with that or any later version. The machine's base software is Debian 8.5 (Jessie). To log in, use the username "user" and password "user". To keep the size of the machine image down, the software must be built from source before use. A buildable source tree based on the OOPSLA artifact submission, is at /usr/local/src/oopsla-artifact and the README therein describes how to build and run the software. The source tree is believed to be self-contained; the build instructions have been verified to complete correctly even without network access. To repeat the SPEC CPU2006 experiments, it is necessary to obtain and install that software, as detailed in the README. For licensing reasons it is not included in the machine image.