pub fn mk_state(
env: &mut SloshVm,
state: &mut CompileState,
args: Value,
) -> VMResult<(CompileState, Vec<Value>, Vec<DestructType>)>
pub fn mk_state(
env: &mut SloshVm,
state: &mut CompileState,
args: Value,
) -> VMResult<(CompileState, Vec<Value>, Vec<DestructType>)>