// bad char