#include "vector" std::vector hal_vector_f32_cross_multiply(std::vector & a, std::vector & b);