x = 2
x = 3
f(x, y, z) = x * y = z
f(x, 2, 6)
f(x, y, z) = 2 * x * y = z

f(2, 3, 12) and x = 3