DEFAULT_SEGMENT_CHECK_INSNS

openvm_circuit::arch::execution_mode::metered::segment_ctx

Constant DEFAULT_SEGMENT_CHECK_INSNS 

Source 
pub const DEFAULT_SEGMENT_CHECK_INSNS: u64 = 1000;