079a7c66fb
in i is already correct to write to the last item in the buf array. Obtained from: CheriBSD Sponsored by: DARPA, AFRL