Now an internal header. Define __set_errno.