STABLE
CHOOSE(STABLE) \
case STABLE:
return STP_hop_2_state (s, STABLE);
return STP_hop_2_state (s, STABLE);
case STABLE:
case STABLE:
return STP_hop_2_state (this, STABLE);
return STP_hop_2_state (this, STABLE);
case STABLE:
CHOOSE(STABLE) \