Debugging parallel programs is notoriously difficult.