State stack iteration