UTF-8 for ELTYPE