Symbol: pit_state_to_pit