int revert