let var x := a[10 * y] in foo := bar end