main = "Hello w�rld!" -- 1:16-1:17: Character does not conform to UTF-8 encoding.