I am not talking about the full `default` statement