Show that the implementation of a queue that uses an extra array element as described in Section 14.1.3 is more efficient than the counter variation, even though it appears to perform two extra additions in the test:
front equals (back + 1) % (MAX_QUEUE + 1)