Constant LIB_SEL4_USE_THREAD_LOCALS 

pub const LIB_SEL4_USE_THREAD_LOCALS: bool = false;