Also need a `case NO_ERROR:` statement (that does nothing) so this doesn't fall into `default:` case.