Permissive high-quality emulation-related code