@thomasfuchs are they somehow exempt from DO-178C? How?! Oh, it's probably a corrupted state issue...