Page 68 line 34: is a single bullet-point algorithm for send really a "model implementation"? Do we provide a code example/reference implementation elsewhere?

Section 3.6.1 could either become a code example or be abstracted enough to be an algorithm and in either case fit better with the rest of the document. Is the current level of detail actually what implementers want to refer to?