def shorten_aead(aead):
head = aead.data[:<NUM_LIT:4>].encode('<STR_LIT>')<EOL>tail = aead.data[-<NUM_LIT:4>:].encode('<STR_LIT>')<EOL>return "<STR_LIT>" % (head, tail)<EOL>
Produce pretty-printable version of long AEAD.