pub fn execute<A>()
where A: VMApi,