Introduce `show_attrs()`.