// bad string