method
error_message s =
Ed_misc
.error_message (
Ed_misc
.to_utf8 s)