* extract_token() now expects to be supplied with the size of the

* extract_token() now expects to be supplied with the size of the
  destination string buffer.  This, along with the elimination of other
  unbounded functions like strcpy(), will allow the removal of the
  "all string buffers are of size SIZ" assumption (a process which I have
  already begun), which will hopefully reduce stack consumption.