Leaving WRS employment permanently at a retirement age (termination ) and receiving a WRS retirement benefit .