SArrayBuilder.
read_history
Outputs the last num elements that were appended either by append or append_multiple.