There is a bug in SECTIONALIZE-BUFFER if the file being read in has a line consisting of a single open-paren. (Probably STRING-EQUAL should check to see if the index and limits are reasonable, as it is it gets an array reference out-of-bounds.