BIGINT2

risc0_zkvm_platform::syscall::ecall

Constant BIGINT2 

Source 
pub const BIGINT2: u32 = 6;