Symbol: qed_int_info