ksh history file is distinct from bash history. Set HISTSIZE in testing for more predictable results.