Stefan Monnier wrote:
>> (encode-coding-string "\x80" 'utf-8)
>> => "\302\200"
>>     
>
> Duh!  Looks like a serious bug to me.
> Handa-san, what's up with that?
>   

Why is it a serious bug? Are you expecting invalid utf-8 to be output 
from that function?