I have a test program that checks for the presence of the RISC-V Vector extension (RVV) via getauxval(). #include<sys/auxv.h>#include<stdio.h>#define ISA_V_HWCAP (1 << ('v' - 'a'))voidmain(){unsignedlonghw_cap=getauxval(AT_HWCAP);printf("RVV %s\n",hw_cap&ISA_V_HWCAP?