- color(unsigned char rl, const exvector & v, bool discardable = false);
- color(unsigned char rl, std::auto_ptr<exvector> vp);
+ color(unsigned char rl, const exvector & v);
+ color(unsigned char rl, exvector && v);
+ void archive(archive_node& n) const;
+ void read_archive(const archive_node& n, lst& sym_lst);