{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"args.as_ptr(),"}]}
                args.as_ptr(),
                indirect_dest.len() as c_uint,
                args.len() as c_uint,