{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"args[1].val.volatile_store(bx,"}]}
                args[1].val.volatile_store(bx, dst);
                let dst = args[0].deref(bx.cx());
                return Ok(());