method

add_line_numbers

add_line_numbers(src)
public

we rely on the fact that the first line of a source code listing has

   # File xxxxx, line dddd