Workshop: Batching Messages in IQ5