No longer needed after recent change which guarantees that mp_set_init() will allocate exact number of slots requested.
