{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"bx.store(val,"}]}
                bx.store(val, cast_dst, self.layout.align.abi);
                let cast_dst = bx.pointercast(dst.val.llval, cast_ptr_llty);
            } else {