BIGINT

risc0_zkvm_platform::syscall::ecall

Constant BIGINT 

Source 
pub const BIGINT: u32 = 4;