public text_part(int start, int len, text_part src = null) { if ( src != null) copy_from(src); start_ = start; len_ = len; }