For that, we have the Roth 401k. Certainly 401ks aren't limited to the 20%, but the 20% can certainly contribute more easily and get more nominal matching.