Note:
If line isn't null-terminated then it's converted to a C null-terminated
string before passing it to the C add_history function.
Converting to C string might re-allocate the buffer. If you have tight
memory constraints, it is highly recommended to provide a null
terminated string or make sure that the GC block your buffer is stored
in has a spare byte at the end.
Add a line to the history of the readline
Note: If line isn't null-terminated then it's converted to a C null-terminated string before passing it to the C add_history function. Converting to C string might re-allocate the buffer. If you have tight memory constraints, it is highly recommended to provide a null terminated string or make sure that the GC block your buffer is stored in has a spare byte at the end.