Record splice() inoutparams, the 'out' part of which the docs don't explicitly mention.