pub const VDISCARD: u32 = 13;