I don't think it's LOC for productivity, it's LOC which have passed safety scrutiny. We're talking about the kind of code which would pass muster on something like NASA's safety assessments, probably. Takeaway: it's a huge codebase which has been audited for safety.