Symbol: isabelle_hw_params