• improves the static analyser's ability to discern CPC and Oric disks; as a result HFE is now a supported file format for all disk platforms other than the MSX;
• improves the dynamic analyser's ability to spot a malfunctioning Atari 2600; as a result BIN is now a supported file format for the ColecoVision;
• formalises calculation of output volume when multiple audio devices are present to avoid overflow errors; and
• resolves a handful of cases of undefined behaviour, in particular a race condition affecting machine shutdown.