const SERVER_VERSION_NUM: ServerVar<i32>;