Use auto_vmmul