5.4.3: Explicit Stacks