1983 	int va_size = va.size();  in operator DVector<Plane>()  local
1984 	if (va_size == 0)  in operator DVector<Plane>()
1987 	planes.resize(va_size);  in operator DVector<Plane>()
1990 	for (int i = 0; i < va_size; i++)  in operator DVector<Plane>()
2000 	int va_size = va.size();  in operator DVector<Face3>()  local
2001 	if (va_size == 0)  in operator DVector<Face3>()
2004 	faces.resize(va_size / 3);  in operator DVector<Face3>()
2008 	for (int i = 0; i < va_size; i++)  in operator DVector<Face3>()
2018 	int va_size = va.size();  in operator Vector<Plane>()  local
2019 	if (va_size == 0)  in operator Vector<Plane>()
2022 	planes.resize(va_size);  in operator Vector<Plane>()
2024 	for (int i = 0; i < va_size; i++)  in operator Vector<Plane>()