#include "test-double-libmvec-log.c"