PROPOSAL_IF_DOWN
case PROPOSAL_IF_DOWN:
if (old_state == PROPOSAL_IF_DOWN) {
case PROPOSAL_IF_DOWN:
if (old_state == PROPOSAL_IF_DOWN) {
case PROPOSAL_IF_DOWN:
if (old_state == PROPOSAL_IF_DOWN) {
case PROPOSAL_IF_DOWN:
case PROPOSAL_IF_DOWN:
case PROPOSAL_IF_DOWN:
case PROPOSAL_IF_DOWN:
case PROPOSAL_IF_DOWN:
case PROPOSAL_IF_DOWN:
CASE(PROPOSAL_IF_DOWN);
PROPOSAL_IF_DOWN);
PROPOSAL_IF_DOWN);
PROPOSAL_IF_DOWN);