Constant TRACE_NO_SYNCH 

pub const TRACE_NO_SYNCH: u32 = 4u32;