let var a := 1 var b := 1 in a := ( a := a + 1; a ) + 42; b := a end