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