Passing Ltac variables around.