* Allow for more time to discharge VCs, required for
          Reverse_Array, minor code correction to avoid hard-to-prove
          VCs