package Invariant_Index is
Name_Buffer : String (1 .. 100);
Name_Len : Natural;
procedure Proc (S : String);
end Invariant_Index;