Symbol: tcic_chipid_to_string