# interface call
tag_elem_t *elem = new_tag_elem(__ID__, val);
push_back(__queue, elem);
- model_print("Enqueue: input=%d\n", val);
+ //model_print("Enqueue: input=%d\n", val);
@End
*/
void enqueue(queue_t *q, unsigned int val);
_Old_Val = get_data(front(__queue));
pop_front(__queue);
}
- model_print("Dequeue: __RET__=%d, retVal=%d, Old_Val=%d\n", __RET__, *retVal, _Old_Val);
+ // model_print("Dequeue: __RET__=%d, retVal=%d, Old_Val=%d\n", __RET__, *retVal, _Old_Val);
@Post_check:
_Old_Val == 0 ? !__RET__ : _Old_Val == *retVal
@End