Some more deliberate compilation error messages