envelopes库的使用