/*Free the Queue-----------------------------------------------------*/
void free_queue(queue_ref queue) {
assert(is_queue(queue));
assert(isempty_queue(queue));
memset(queue, 0, sizeof (struct queue));
free(queue);
}
bool queue_empty(queue *Q) {
REQUIRES(is_queue(Q));
return Q->front == Q->back;
}
