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