Redefined with quaternion_t and vector_t from quaternion.h