Constant derive_trace_CharTableInner 

const derive_trace_CharTableInner: ();