some risc v is designer saw the AVX* specs and thoughtseems like a good idea to copy their naming conventionsRE: https://mastodon.online/@ezhes_/113349521022612339