pub const MAX_EXTEND: u32 = 4096;
The widest vector a short value is extended to: VCD leaves leading zeros out.