package GNAT.Task_Lock is
pragma Elaborate_Body (Task_Lock);
procedure Lock; pragma Inline (Lock);
procedure Unlock; pragma Inline (Unlock);
end GNAT.Task_Lock;