package DECL_CTX_Def is
   X : exception;
end;