public static void push(ViewState vs, Message message) {
ArrayOptimized.pushArrayInetWithPort(vs.addresses, message);
ArrayOptimized.pushArrayEndpt(vs.view, message);
ArrayOptimized.pushArrayViewID(vs.previous, message);
ViewID.push(vs.id, message);
Group.push(vs.group, message);
message.pushString(vs.version);
}
