1package Invariant_Index is 2 3 Name_Buffer : String (1 .. 100); 4 Name_Len : Natural; 5 6 procedure Proc (S : String); 7 8end Invariant_Index; 9