String getCharErrorDisplay(int c) { final s = getErrorDisplay(String.fromCharCode(c)); return "'$s'"; }