We generally favor a `default:` label rather than falling out of the `switch` for the default case.