~> randint 1 7 ▶ (num 5) ~> # more commands ... ~> randint 1 7 elf@host HISTORY #33