const CLIENT_ENCODING: ServerVar<str>;