Can you mention the semantics of the division: i.e. that trailing bytes get ignored, and that `&[A] -> &[B] -> &[A]` isn't necessarily a noop.