Start with "./runlinear replace".

Violated assertion: assert(subline__3__i != 8 || subline__3__m == -1);

Note:

There is no wrapper for "fgets", but the program aborts before reusing the
exclusive buffer assigned to it, actual characters read are being picked up
by "postprocess_concrete", which is designed to identify accesses to
uninitialized memory cells and create initializations for them.

However, we should have had a proper wrapper.
