Base64 encoding with EiffelStudio.