sme_max_vl
header.max_vl = sme_max_vl();
int vl = max(sve_max_vl(), sme_max_vl());
vl = sme_max_vl();