variable_aliasing_across_calls(ok).