def: go up to "for_size"