@thomasfuchs holy crap. it's gonna be a nightmare for them to certify the safety of the software to aerospace standards.