Ltac tac := idtac.
Reset tac.
Ltac tac := idtac.