Decidable languages closed under complement