No one’s following vale_ddivi8 yet