Debugging a priority inversion bug on the Mars Pathfinder | Heykuki News