Constant derive_trace_CharTable 

const derive_trace_CharTable: ();