/* We use a state machine on sessions */