_Old_Val = get_data(front(__queue));
pop_front(__queue);
}
- model_print("Dequeue: __RET=%d, retVal=%d\n", __RET__, *retVal);
+ 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