const VIRGLRENDERER_RENDER_SERVER: u32 = _; // 512u32