prop_equals_string
case prop_equals_string:
state = prop_equals_string;
state = prop_equals_string;
case prop_equals_string:
case prop_equals_string:
state = prop_equals_string;
case prop_equals_string:
case prop_equals_string: