Hacker News new | ask | show | jobs
by Mikhail_Edoshin 2467 days ago
There's the #line directive that can keep the original file names and line numbers.