respip_invalid
rpz_action_to_respip_action(a) == respip_invalid) {
default: return respip_invalid;
case respip_invalid:
rpz_action_to_respip_action(a) == respip_invalid) {
default: return respip_invalid;
case respip_invalid: