About 17K lines; zero known bugs as of today. But big projects are usually made out of small modules. Since big projects are usually buggy, either the small modules have internal errors, or the module interfaces are poorly defined. In neither case has academia nor the software industry had a lot of success in managing to fix the problems.
My car starts reliably every morning. From turning the key to being in motion takes, literally, about 3 seconds. Turning on the radio never makes the power steering fail. Jet planes rarely fall out of the sky. People can do this right when they care to.
John