More about call-site optimization in Bachrach and Burke.