fn split(cell_body: &mut [u8; 509]) -> (&mut [u8; 16], &mut [u8; 493])
Helper: split a mutable cell body into the left-hand (tag) and right-hand (body) parts.