const DEFAULT_TRACE_CACHE_SIZE: u32 = 20;