modified:   deflib/DefParser/input_buffer.def