pub fn shim( retref: bool, f: &mut FunctionBody, k: Block, r: &Arg, v: Value, talloc: Func, tfree: Func, table: Table, ) -> Result<(Value, Block)>