Use Stdio.Buffer instead of ADT.struct. Fixes a bug where the code was stepping back in the buffer by reducing index, which isn't supported anymore in ADT.struct.
