let function nothing (a : int) = a := 42 in if 0 then nothing(43) end