Constant NATIVE_MAX_TRACE_HEIGHTS

pub const NATIVE_MAX_TRACE_HEIGHTS: &[u32];