for loop vector
By Claude Altenwerth at Dec 06 2020
vector size for loop
By Saul Heidenreich at Feb 16 2021