blob: 77c46fc39e87b7d2e45a53dafb76a8e28ee740ca [file] [log] [blame]
package Invariant_Index is
Name_Buffer : String (1 .. 100);
Name_Len : Natural;
procedure Proc (S : String);
end Invariant_Index;