incomplete:VMActor.dispatch needs to be reviewed for spec completeness
