BUG-5410: use Deque instead of a Stack