Symbol: pf_insert_state