Symbol: qed_int_params