core: implement and test dotvm(), yay!