Subject to a separate legislative appropriation for that purpose, the Employees Retirement System of Texas may make matching contributions to a 401(k) plan on behalf of employees participating in the plan solely from, and in an amount specified by, the appropriation.
Tex. Gov't. Code § 609.5026