Uses new objsym.rep to read raw line number information