if ( !push ) {
fprintf( stdout, "%s/%ld:%ld\n",
sources.array[ src ].filename,
- sources.array[ src ].from,
- //pos - sources.array[ src ].start,
+ sources.array[ src ].from +
+ pos - sources.array[ src ].start,
x - sources.array[ src ].start +
sources.array[ src ].from
);