// // // // 4(%rax), %r13 # x[i+1]