package Synchronized2_Pkg with SPARK_Mode is
   type T is limited private;
private
   task type T;
end;