pub const pdFREERTOS_ERRNO_EBADF: u32 = 9;