Symbol: pt_info_set