Symbol: qed_int_param