Constant X3_IMM39_1_SIZE_X 

pub const X3_IMM39_1_SIZE_X: u32 = 23;