use typedef to define std::vector<Message*>