x1 = x0
x2 = x1
x3 = y0
x4 = y1
x5 = a
x6 = s