tactic.simp_config_ext source