int *errno_ptr(void);