// bad encoding