If awaitStack can be non-empty here, how is it ensured that it is not reversed twice?