Constant os_error_OS_BAD_MUTEX 

pub const os_error_OS_BAD_MUTEX: os_error = 5;