Implement RETIRE_FENCE