-- 0x80 is an invalid character
bad = '€'