Ditto (`buffer.length = len;`)