INT256_FUNCT3

openvm_bigint_guest

Constant INT256_FUNCT3 

Source 
pub const INT256_FUNCT3: u8 = 0b101;