It seems that Zvl512b is mistakenly written as Zve512b in Zvl_extensions 