pub const TRACE_NO_SYNCH: u32 = 4u32;