Could 401(k) employer contributions disappear?