I respectfully but firmly disagree that having buffer length information available for a pointer is "extraneous".