Dyck_language loading ...