Constant NATIVE_MAX_TRACE_HEIGHTS 

pub const NATIVE_MAX_TRACE_HEIGHTS: &[u32];