Rename these parameters to hopefully eliminate shadowing errors from the
compiler.