"and let <var>source set</var>’s <a>source size</a> be the returned value." ?