splice: Apply generic position and size checks to each write