That's why Toyota moved to Ada, because their C or C++ software caused crashes.