One element is pushed to that stack in the constructor, so calling top()
on it always OK, as long as we check during pop() that the stack won't
be empty.

Change-Id: I010bd77897ab2a3684e7d9c5c0450e7bda626fc0