let
    function nothing (a : int) = a := 42
in
    (if 0 then
        nothing(43)
    else
        nothing(44);
    if 1 then
        nothing(45)
    else
        nothing(46))
end