#include "vx_vec.h" int main() { vx_tmc(1); vx_vec_test(); }