It is a Foreign Service annuity, an entirely distinct and different retirement system not part of the USG Civil Service.
