{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"&[vec_ty],"}]}
            &[vec_ty],
            intr_name,
            &args.iter().map(|arg| arg.immediate()).collect::<Vec<_>>(),