prop_equals_integer
case prop_equals_integer:
state = prop_equals_integer;
state = prop_equals_integer;
case prop_equals_integer:
case prop_equals_integer:
state = prop_equals_integer;
case prop_equals_integer:
case prop_equals_integer: