. . "401(k) is available to all employers, except a State or local government or" . . .