// print_vector(stream,flags,fun,z);
// > stream: Stream
// > flags: Flags
-// > fun: Ausgabefunktion für die einzelnen Elemente
+// > fun: Ausgabefunktion für die einzelnen Elemente
// > vector: Vektor
extern void print_vector (std::ostream& stream, const cl_print_flags& flags, void (* fun) (std::ostream&, const cl_print_flags&, const cl_number&), const cl_SV_number& vector);