Pushing a basic state machine