doc: Come up with implementable semantics and encoding for bcopy.