fix line_count after it was broken by the syn upgrade, fixes #1430 by utaal · Pull Request #1448 · verus-lang/verus