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