This paragraph does not apply to any active service used for the purpose of establishing entitlement to, or the amount of, any benefit, other than a disability benefit, to be paid by any federal retirement program except OASDHI and the retired pay for nonregular military service program under 10 USC 1331 to 1337 or, if the participant makes an election under s. 40.30 (2), by any retirement system