// dispatch helper functions extracted from vm.rs