Symbol: cpt_inst_s