I think we can even replace `$lineno` by `$line`.