pub const CLIP_DISTANCE7: u32 = 0x3007; // 12_295u32