Constant arrabbiata::witness::IVC_STARTING_INSTRUCTION

pub const IVC_STARTING_INSTRUCTION: Instruction;