Public string_of_state in CARTA.