A TODO in [SlidingWindowScannerBuffer.java](https://github.com/melt-umn/copper/blob/2d4c34b32c61e3bfc88913e5245aedffcf2de523/src/edu.umn.cs.melt.copper.runtime/src/main/java/edu/umn/cs/melt/copper/runtime/io/SlidingWindowScannerBuffer.java#L9) suggests that the buffer is inefficient and building a new string object for every character read. We should either verify that this is not happening or find a way to eliminate it.