“revert”