safe UTF-8 decoder!                                                           |