*** The function store-substring alters part of the contents
of a string. You call it as follows:
(store-substring STRING IDX OBJ)
This says to alter STRING, by storing OBJ starting at index IDX in STRING. OBJ may be either a character or a (smaller) string. This function really does alter the contents of STRING. Since it is impossible to change the length of an existing string, it is an error if OBJ doesn't fit within STRING's actual length.