Decidable_language loading ...