+−use mio; +− +−pub const PROTOCOL_VERSION : u32 = 3; +−pub const SERVER: mio::Token = mio::Token(1000000000 + 0);