Switched from //error-pattern to //~ ERROR