let unsafe_blit ra1 ofs1 ra2 ofs2 len = guarantee_ix ra2 (ofs2 + len - 1); unsafe_blit_on_other ra1 ofs1 ra2 ofs2 len