bad-symbol