x0 = 0
x1 = 0
x10 = 0
x11 = 0
x12 = 0
x13 = 0
x14 = 0
x2 = 0
x3 = 0
x4 = 0
x5 = 0
x6 = 0
x7 = 0
x8 = 0
x9 = 0