Mario is a fireman at your local fire department. He contributes to his employer's retirement savings plan through regular payroll deductions. His contributions are tax-deferred, and so are his earnings in the plan. Mario most likely participates in which of the following types of employer-sponsored retirement plans?

a) 401(k)
b) Roth IRA
c) Pension plan
d) Social Security