Use HISTSIZE in the examples.