... and shrink the resident array a little.
Also included the awk script that does this.

Change-Id: I47ab6d9d49d229dcffeef1a684f5c6fa836f91d0