let
state_stack =
Stack
.create ()