jazz_vm::generic_arithmetic
pub fn exec_mul(executor: &mut ExecutorImpl, left: Value, right: Value) -> Value