Use of spec for the message queue example