DEFINITION ex1_c()
TYPE =
       C
BODY =
CHead
         CHead
           CHead (CSort O) (Bind Abst) (TSort O)
           Bind Abst
           TSort O
         Bind Abst
         TLRef O