pub const ENCODING_ENC_INSR_Z_V_: ENCODING = 2980;