pub const INSTR_REGISTRY: i32 = 543;