Symbol: rq_envelope_cmp