I complain about getting a lifetime pension after 20 years of service. A career is 22-65 or 43 years.
https://en.m.wikipedia.org/wiki/Federal_Employees_Retirement...
The teacher retirement systems I know of have rules like (age + years_worked)>=80 ==> full pension benefits.
Retiring after 20y will earn you a smaller monthly and is only possible (under that rule-of-80 above) if you start teaching at age 40. Teachers are much more likely to retire after 25+y (age_start=30, age_retire=55).