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