Revise `used` attribute text

Let's revise the text and example a bit, mostly to tighten things up.

Notably, the behavior of `rustc` and therefore the output of `nm -C`
has changed since this example was originally written.  We've made the
necessary changes to the example and to the output.