I don't think that this should ever be possible, this code shouldn't happen because of some previous invariant. I would prefer this be a match over the exit status and the success case is explicitly handled as doing nothing (while the other two print something).