Constant LIB_SEL4_PRINT_INVOCATION_ERRORS 

pub const LIB_SEL4_PRINT_INVOCATION_ERRORS: &str = "0";