for (int i = 0; i < top; ++i) {
   vector judy = mary();