DEFAULT_MAX_COST

openvm_circuit::arch::execution_mode::metered_cost

Constant DEFAULT_MAX_COST 

Source 
pub const DEFAULT_MAX_COST: u64 = _; // 200_000_000_000u64