Added vector_micke.h