Actually, the same can be done for RevertTrampolineArgs as well.