Package: external_integer_vector_pkg File: external_integer_vector_pkg.vhd Functions write_integer ( id : integer; i : integer; v : integer ) return ()