So there is no UTF-8 encoding because some mangling might use UTF-16/32?