pub const VREPRINT: usize = 12;