Drop the topmost string frame from the string frame stack and
string stack. Errors are thrown if either stack would
underflow or if the string frame does not begin at the top of
the string stack. The case where the frame has zero entries
on the string stack is handled properly.