pub const pdFREERTOS_ERRNO_EBADE: u32 = 50; // 50u32