condition on `errno == EINTR` ?