[3836293648]

Or, as others have already noted, it's only about 15k and the repo includes tools and test programs.