I don't see how the value of `show_args` can ever change.