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