package DECL_CTX_Use is
   procedure Check_1;
   procedure Check_2;
end;