separate (RPC) function RPC_IF_Id_Vector_Count( IF_Id_Vector : in RPC_Interface_Id_Vector_Type) return natural is -- **************************************************************************** begin return ( natural(IF_Id_Vector.Count) ); end RPC_IF_Id_Vector_Count;