Небольшой вопрос по указателям в Си

Здравствуйте!Читаю книгу Брайна Кернигана Язык программирования С, 2-е издание. На странице 118 есть пример реализации стека с помощью указателей:

Насколько я помню у операций * и ++/-- одинаковый приоритет и выполняются они справа налево. Выходит что сначала вершина стека увеличивается, а затем добавляется элемент. Во втором случае получается что сначала вершина стека уменьшается, а затем элемент извлекается. В данном случае извлечется не val, а то что лежит «ниже» его. Или я ошибаюсь?

 си, стек