Push records that at that lineno a new file with the given name was pushed onto the input stack.
(lineno int, file string)
source not stored for this graph (policy: none)
no test coverage detected