/* 802.11 state transitions */