As far as pensions are concerned, the federal government uses base pay [[no overtime, no bonuses, etc.) in it calculations.

So a CIA person who say 12 years ago, worked 70 - 80 hours a week [[many did that is no lie; 12 hour days 6 or 7 days a week), their salary for retirement purposes is this their base salary for the pay year.

I would think it is incredible stupid to have a retirement system which is based on anything other than yearly salary earned.