Re with f frozen in core