How the Boeing 737 Max Disaster Looks to a Software Developer