stack slot state machine impl