Replace my old generic map ADT with a growable array for the extension cache.