1int __atomic_readv_replacement(unsigned char iov_len, int count, int i) {
2    unsigned char bytes = 0;
3    if ((unsigned char)((char)127 - bytes) < iov_len)
4      return 22;
5    return 0;
6}
7