utf7imap4: encoding part of the codec