Most likely these some 280000 lines represent conditional statements that are drawn out to keep weird edge cases out of sight. For instance Boeing used Ada [0]

Most likely these some 280000 lines represent conditional statements that are drawn out to keep weird edge cases out of sight. For instance Boeing used Ada [0] because it can quickly assert all of the conditionals at compile time. [0] http://archive.adaic.com/projects/atwork/boeing.html http://archive.adaic.com/projects/atwork/boeing.html