This is identical to the `default:` case...