Additional entry tactic_arg in Print Grammar tactic.