const VA_WIDTH_SV39: usize = 39;