@whitequark I'd guess they first get split into 128-l and l bits and then concatenated back together?