Note one way to get line numbers, if we want it.