./locksmith /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c


--------------------------------------------------------------------------------


gcc -D_GNUCC -E -DCIL=1 /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c -o /tmp/cil-mwDdWcFg.i
./cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-6AosxVMs.cil.c /tmp/cil-mwDdWcFg.i

************************* STARTING *************************

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1105: Warning: assigning pointer to non-pointer: (void)*^{v2:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1098}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1108: Warning: assigning pointer to non-pointer: (void)*^{v1:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1098}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1142: Warning: assigning pointer to non-pointer: (void)*^{v2:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1135}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1145: Warning: assigning pointer to non-pointer: (void)*^{v1:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1135}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2748: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2748: Probably using char* where void* is best used:
 int*^{val:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2743} flows to struct mvalue {
                                                                                           }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2745}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2748: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2748: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2758: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2758: Probably using char* where void* is best used:
 int*^{val:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2752} flows to struct mvalue {
                                                                                           }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2754}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2758: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2758: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2775: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2775: Probably using char* where void* is best used:
 int*^{from:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769} flows to struct mvalue {
                                                                                            }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2771}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2775: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2775: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2877: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2877: Probably using char* where void* is best used:
 int*^{val:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2857} flows to struct mvalue {
                                                                                           }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2854}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2877: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2877: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3047: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3047: Probably using char* where void* is best used:
 int*^{val:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3016} flows to struct mvalue {
                                                                                           }*^{mx:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3015}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3047: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3047: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3168: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3168: Probably using char* where void* is best used:
 int*^{**he.__annonCompField4.vals:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3151} flows to struct _mem_buf {
                                                                                                                   }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3152}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3168: Warning: subtyping incompatible types:
int
struct _mem_buf {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3168: Warning: subtyping incompatible types:
struct _mem_buf {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3172: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3172: Probably using char* where void* is best used:
 struct _mem_buf {
   <*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3152> qing: int*^{*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3152}
 }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3152} flows to int*^{*buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3147}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3470: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3475: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3475: Probably using char* where void* is best used:
 int*^{val:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3429} flows to struct mvalue {
                                                                                           }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3475}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3475: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3475: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3942: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3942: Probably using char* where void* is best used:
 int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3925} flows to struct tag_dnsheader {
                                                                                           }*^{hdr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3929}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3942: Warning: subtyping incompatible types:
int
struct tag_dnsheader {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3942: Warning: subtyping incompatible types:
struct tag_dnsheader {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3997: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3997: Probably using char* where void* is best used:
 int*^{itor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3989} flows to struct tag_dnsheader {
                                                                                            }*^{hdr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3990}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3997: Warning: subtyping incompatible types:
int
struct tag_dnsheader {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3997: Warning: subtyping incompatible types:
struct tag_dnsheader {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4017: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4017: Probably using char* where void* is best used:
 int*^{itor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3989} flows to struct tag_dq {
                                                                                            }*^{qd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3991}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4017: Warning: subtyping incompatible types:
int
struct tag_dq {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4017: Warning: subtyping incompatible types:
struct tag_dq {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4230: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4230: Probably using char* where void* is best used:
 int*^{buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4190} flows to struct mvalue {
                                                                                              }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4207}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4230: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4230: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4641: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4641: Probably using char* where void* is best used:
 int*^{v:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4594} flows to struct mvalue {
                                                                                         }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4597}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4641: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4641: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4723: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4723: Probably using char* where void* is best used:
 int*^{*hf.to:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4705} flows to struct fillmsg {
                                                                                              }*^{fm:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4712}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4723: Warning: subtyping incompatible types:
int
struct fillmsg {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4723: Warning: subtyping incompatible types:
struct fillmsg {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4933: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4933: Probably using char* where void* is best used:
 int*^{from:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4910} flows to struct mvalue {
                                                                                            }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4918}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4933: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4933: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5044: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5044: Probably using char* where void* is best used:
 int*^{*sh.itor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3784} flows to struct tag_dnsheader {
                                                                                                }*^{hdr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5039}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5044: Warning: subtyping incompatible types:
int
struct tag_dnsheader {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5044: Warning: subtyping incompatible types:
struct tag_dnsheader {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5054: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5054: Probably using char* where void* is best used:
 int*^{itor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5038} flows to struct tag_dq {
                                                                                            }*^{qd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5040}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5054: Warning: subtyping incompatible types:
int
struct tag_dq {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5054: Warning: subtyping incompatible types:
struct tag_dq {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5073: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5073: Probably using char* where void* is best used:
 int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5063} flows to struct tag_dnsheader {
                                                                                           }*^{hdr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5064}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5073: Warning: subtyping incompatible types:
int
struct tag_dnsheader {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5073: Warning: subtyping incompatible types:
struct tag_dnsheader {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5086: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5086: Probably using char* where void* is best used:
 int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5063} flows to struct tag_dq {
                                                                                           }*^{qd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5065}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5086: Warning: subtyping incompatible types:
int
struct tag_dq {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5086: Warning: subtyping incompatible types:
struct tag_dq {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5129: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5129: Probably using char* where void* is best used:
 int*^{label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5093} flows to struct srv {
                                                                                             }*^{from:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5098}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5129: Warning: subtyping incompatible types:
int
struct srv {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5129: Warning: subtyping incompatible types:
struct srv {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5130: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5130: Probably using char* where void* is best used:
 int*^{buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5093} flows to struct srv {
                                                                                              }*^{to:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5099}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5130: Warning: subtyping incompatible types:
int
struct srv {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5130: Warning: subtyping incompatible types:
struct srv {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5194: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5194: Probably using char* where void* is best used:
 int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5189} flows to struct tag_dnsheader {
                                                                                           }*^{hdr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5191}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5194: Warning: subtyping incompatible types:
int
struct tag_dnsheader {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5194: Warning: subtyping incompatible types:
struct tag_dnsheader {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5300: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5300: Probably using char* where void* is best used:
 int*^{ip:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5261} flows to struct mvalue {
                                                                                          }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5267}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5300: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5300: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5339: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5339: Probably using char* where void* is best used:
 int*^{itor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5264} flows to struct mvalue {
                                                                                              <*mv.hits:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5267> hits: int
                                                                                              <*mv.len:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5267> len: int
                                                                                              <*mv.num:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5267> num: int
                                                                                              <*mv.ttl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5267> ttl: int
                                                                                            }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5267}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5388: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5388: Probably using char* where void* is best used:
 int*^{itor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5368} flows to struct mvalue {
                                                                                            }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5369}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5388: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5388: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5414: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5414: Probably using char* where void* is best used:
 int*^{ipmsg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5398} flows to struct mvalue {
                                                                                             }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5403}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5414: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5414: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5462: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5462: Probably using char* where void* is best used:
 int*^{ipbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5439} flows to struct mvalue {
                                                                                                }*^{mi:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5434}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5462: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5462: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5480: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5480: Probably using char* where void* is best used:
 int*^{iitor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5441} flows to struct mvalue {
                                                                                               <*mi.len:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5434> len: int
                                                                                               <*mi.seg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5434> seg: int
                                                                                             }*^{mi:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5434}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5503: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5503: Probably using char* where void* is best used:
 int*^{ip:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5490} flows to struct mvalue {
                                                                                          }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5495}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5503: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5503: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5633: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5633: Probably using char* where void* is best used:
 int*^{buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5539} flows to struct mvalue {
                                                                                              }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5537}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5633: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5633: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6012: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6012: Probably using char* where void* is best used:
 int*^{vbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5925} flows to struct mvalue {
                                                                                               }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5946}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6012: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6012: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6228: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6228: Probably using char* where void* is best used:
 int*^{vbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6198} flows to struct mvalue {
                                                                                               }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6203}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6228: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6228: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6690: Warning: assigning pointer to non-pointer: (void)*^{*help___0.ext:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6639}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6799: Warning: assigning pointer to non-pointer: struct _mem_buf {
                                                                                                                    <*mbuf.buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751> buf: int*^{*mbuf.buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751}
                                                                                                                    <*mbuf.buflen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751> buflen: int
                                                                                                                    <*mbuf.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751> data: int*^{*mbuf.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751}
                                                                                                                    <*mbuf.fd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751> fd: int
                                                                                                                    <*mbuf.fetch_len:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751> fetch_len: int
                                                                                                                    <*mbuf.socktype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751> socktype: int
                                                                                                                  }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6751}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6895: Warning: assigning pointer to non-pointer: struct _mem_buf {
                                                                                                                    <*mbuf.addr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849> addr: struct sockaddr_in {
                                                                                                                                                                                                             }*^{*mbuf.addr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849}
                                                                                                                    <*mbuf.buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849> buf: int*^{*mbuf.buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849}
                                                                                                                    <*mbuf.buflen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849> buflen: int
                                                                                                                    <*mbuf.caddr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849> caddr: struct sockaddr_in {
                                                                                                                                                                                                               }
                                                                                                                    <*mbuf.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849> data: int*^{*mbuf.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849}
                                                                                                                    <*mbuf.fd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849> fd: int
                                                                                                                    <*mbuf.fetch_len:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849> fetch_len: int
                                                                                                                    <*mbuf.socktype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849> socktype: int
                                                                                                                  }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6849}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7090: Warning: assigning pointer to non-pointer: (void)*^{*nd.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7074}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7094: Warning: subtyping incompatible types:
int
(void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7146: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7146: Probably using char* where void* is best used:
 int*^{from:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7109} flows to struct mvalue {
                                                                                            }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7111}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7146: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7146: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7223: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7223: Probably using char* where void* is best used:
 int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7207} flows to struct tag_dnsheader {
                                                                                           }*^{hdr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7214}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7223: Warning: subtyping incompatible types:
int
struct tag_dnsheader {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7223: Warning: subtyping incompatible types:
struct tag_dnsheader {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7293: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7293: Probably using char* where void* is best used:
 struct _mem_buf {
 }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7281} flows to int*^{*htable_find_list.buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7293}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7293: Warning: subtyping incompatible types:
struct _mem_buf {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7293: Warning: subtyping incompatible types:
int
struct _mem_buf {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7293: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7293: Probably using char* where void* is best used:
 int*^{*htable_find_list.buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7293} flows to struct _mem_buf {
                                                                                                                }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7281}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7324: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7324: Probably using char* where void* is best used:
 int*^{ip:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7317} flows to struct mvalue {
                                                                                          }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7318}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7324: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7324: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7378: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7378: Probably using char* where void* is best used:
 int*^{ip:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7354} flows to struct mvalue {
                                                                                          }*^{mv:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7359}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7378: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7378: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7474: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7474: Probably using char* where void* is best used:
 int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7463} flows to struct tag_dnsheader {
                                                                                           }*^{hdr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7470}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7474: Warning: subtyping incompatible types:
int
struct tag_dnsheader {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7474: Warning: subtyping incompatible types:
struct tag_dnsheader {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7488: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7488: Probably using char* where void* is best used:
 struct _mem_buf {
 }*^{*mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7463} flows to int*^{*htable_find_list.buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7488}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7488: Warning: subtyping incompatible types:
struct _mem_buf {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7488: Warning: subtyping incompatible types:
int
struct _mem_buf {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7488: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7488: Probably using char* where void* is best used:
 int*^{*htable_find_list.buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7488} flows to struct _mem_buf {
                                                                                                                }*^{*mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7463}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7526: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7526: Probably using char* where void* is best used:
 int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7512} flows to struct tag_dnsheader {
                                                                                           }*^{hdr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7519}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7526: Warning: subtyping incompatible types:
int
struct tag_dnsheader {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7526: Warning: subtyping incompatible types:
struct tag_dnsheader {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7684: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7684: Probably using char* where void* is best used:
 struct _mem_buf {
 }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666} flows to int*^{*htable_find_list_io.buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7684}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7684: Warning: subtyping incompatible types:
struct _mem_buf {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7684: Warning: subtyping incompatible types:
int
struct _mem_buf {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7684: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7684: Probably using char* where void* is best used:
 int*^{*htable_find_list_io.buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7684} flows to struct _mem_buf {
                                                                                                                   }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7746: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7746: Probably using char* where void* is best used:
 struct _mem_buf {
   <*mbuf.aid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> aid: int
   <*mbuf.backid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> backid: int
   <*mbuf.dmbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> dmbuffer: int*^{*mbuf.dmbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}
   <*mbuf.fd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> fd: int
   <*mbuf.ipbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> ipbuffer: int*^{*mbuf.ipbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}
   <*mbuf.mxtry:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> mxtry: int
   <*mbuf.qtimes:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> qtimes: int
   <*mbuf.socktype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> socktype: int
   <*mbuf.sq:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> sq: int
   <*mbuf.stat:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> stat: int
   <*mbuf.stime:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> stime: int
   <*mbuf.tdbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> tdbuffer: int*^{*mbuf.tdbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}
   <*mbuf.tempbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> tempbuffer: int*^{*mbuf.tempbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}
 }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666} flows to int*^{*htable_find_list_io.buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7746}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7746: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7746: Probably using char* where void* is best used:
 int*^{*htable_find_list_io.buffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7746} flows to struct _mem_buf {
                                                                                                                     <*mbuf.aid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> aid: int
                                                                                                                     <*mbuf.backid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> backid: int
                                                                                                                     <*mbuf.dmbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> dmbuffer: int*^{*mbuf.dmbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}
                                                                                                                     <*mbuf.fd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> fd: int
                                                                                                                     <*mbuf.ipbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> ipbuffer: int*^{*mbuf.ipbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}
                                                                                                                     <*mbuf.mxtry:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> mxtry: int
                                                                                                                     <*mbuf.qtimes:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> qtimes: int
                                                                                                                     <*mbuf.socktype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> socktype: int
                                                                                                                     <*mbuf.sq:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> sq: int
                                                                                                                     <*mbuf.stat:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> stat: int
                                                                                                                     <*mbuf.stime:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> stime: int
                                                                                                                     <*mbuf.tdbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> tdbuffer: int*^{*mbuf.tdbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}
                                                                                                                     <*mbuf.tempbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666> tempbuffer: int*^{*mbuf.tempbuffer:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}
                                                                                                                   }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7666}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8014: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8014: Probably using char* where void* is best used:
 struct _mem_buf {
   <*mbuf.cid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> cid: int
   <*mbuf.dlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> dlen: int
   <*mbuf.fd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> fd: int
   <*mbuf.lowerdomain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> lowerdomain: struct _packet_type {
                                                                                                            <*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> domain: int*^{*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                            <*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> hash: int*^{*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                            <*mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label: int*^{**mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}*^{*mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                            <*(tn->lowerdomain).label_count:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label_count: int
                                                                                                            <*mbuf.lowerdomain.label_offsets:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label_offsets: int*^{*mbuf.lowerdomain.label_offsets:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                          }
   <*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qhash: int*^{*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
   <*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qing: int*^{*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
   <*mbuf.qlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qlen: int
   <*mbuf.qname:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qname: int
   <*mbuf.qtype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qtype: int
   <*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> td: int*^{*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
 }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968} flows to int*^{htable_insert_list.val:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8014}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8014: Warning: subtyping incompatible types:
struct _mem_buf {
  <*mbuf.cid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> cid: int
  <*mbuf.dlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> dlen: int
  <*mbuf.fd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> fd: int
  <*mbuf.lowerdomain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> lowerdomain: struct _packet_type {
                                                                                                           <*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> domain: int*^{*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                           <*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> hash: int*^{*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                           <*mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label: int*^{**mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}*^{*mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                           <*(tn->lowerdomain).label_count:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label_count: int
                                                                                                           <*mbuf.lowerdomain.label_offsets:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label_offsets: int*^{*mbuf.lowerdomain.label_offsets:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                         }
  <*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qhash: int*^{*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
  <*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qing: int*^{*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
  <*mbuf.qlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qlen: int
  <*mbuf.qname:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qname: int
  <*mbuf.qtype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qtype: int
  <*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> td: int*^{*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8014: Warning: subtyping incompatible types:
int
struct _mem_buf {
  <*mbuf.cid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> cid: int
  <*mbuf.dlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> dlen: int
  <*mbuf.fd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> fd: int
  <*mbuf.lowerdomain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> lowerdomain: struct _packet_type {
                                                                                                           <*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> domain: int*^{*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                           <*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> hash: int*^{*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                           <*mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label: int*^{**mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}*^{*mbuf.lowerdomain.label:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                           <*(tn->lowerdomain).label_count:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label_count: int
                                                                                                           <*mbuf.lowerdomain.label_offsets:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> label_offsets: int*^{*mbuf.lowerdomain.label_offsets:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
                                                                                                         }
  <*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qhash: int*^{*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
  <*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qing: int*^{*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
  <*mbuf.qlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qlen: int
  <*mbuf.qname:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qname: int
  <*mbuf.qtype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> qtype: int
  <*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968> td: int*^{*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7968}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8185: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8185: Probably using char* where void* is best used:
 struct _mem_buf {
   <*mbuf.cid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> cid: int
   <*mbuf.dlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> dlen: int
   <*mbuf.id:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> id: int
   <*mbuf.lowerdomain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> lowerdomain: struct _packet_type {
                                                                                                            <*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> domain: int*^{*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
                                                                                                            <*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> hash: int*^{*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
                                                                                                          }
   <*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qhash: int*^{*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
   <*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qing: int*^{*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
   <*mbuf.qlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qlen: int
   <*mbuf.qname:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qname: int
   <*mbuf.qtype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qtype: int
   <*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> td: int*^{*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
 }*^{mbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170} flows to int*^{htable_insert_list.val:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8185}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8185: Warning: subtyping incompatible types:
struct _mem_buf {
  <*mbuf.cid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> cid: int
  <*mbuf.dlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> dlen: int
  <*mbuf.id:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> id: int
  <*mbuf.lowerdomain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> lowerdomain: struct _packet_type {
                                                                                                           <*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> domain: int*^{*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
                                                                                                           <*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> hash: int*^{*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
                                                                                                         }
  <*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qhash: int*^{*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
  <*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qing: int*^{*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
  <*mbuf.qlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qlen: int
  <*mbuf.qname:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qname: int
  <*mbuf.qtype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qtype: int
  <*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> td: int*^{*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8185: Warning: subtyping incompatible types:
int
struct _mem_buf {
  <*mbuf.cid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> cid: int
  <*mbuf.dlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> dlen: int
  <*mbuf.id:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> id: int
  <*mbuf.lowerdomain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> lowerdomain: struct _packet_type {
                                                                                                           <*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> domain: int*^{*mbuf.lowerdomain.domain:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
                                                                                                           <*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> hash: int*^{*mbuf.lowerdomain.hash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
                                                                                                         }
  <*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qhash: int*^{*mbuf.qhash:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
  <*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qing: int*^{*mbuf.qing:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
  <*mbuf.qlen:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qlen: int
  <*mbuf.qname:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qname: int
  <*mbuf.qtype:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> qtype: int
  <*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170> td: int*^{*mbuf.td:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8170}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8292: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8894: Warning: assigning pointer to non-pointer: int*^{*((struct sockaddr_un *)0).sun_path:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8894}*^{*((struct sockaddr_un *)0).sun_path:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8894}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9306: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9306: Probably using char* where void* is best used:
 int*^{val:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9284} flows to struct mvalue {
                                                                                           }*^{tmp___2:/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9286}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9306: Warning: subtyping incompatible types:
int
struct mvalue {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9306: Warning: subtyping incompatible types:
struct mvalue {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9409: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9409: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9409: Warning: conflating flow at asm block
functions declared and used but not defined:
  __assert_fail
  __builtin_va_end
  __errno_location
  accept
  atoi
  bind
  close
  connect
  daemon
  epoll_create
  epoll_ctl
  epoll_wait
  fclose
  fcntl
  fflush
  fgets
  fopen
  fprintf
  getopt
  getpagesize
  getpid
  gettimeofday
  htonl
  htons
  inet_pton
  kill
  listen
  mkdir
  ntohl
  ntohs
  open
  perror
  printf
  pthread_detach
  pthread_join
  pthread_self
  pthread_setaffinity_np
  pthread_sigmask
  pthread_spin_init
  pthread_spin_lock
  pthread_spin_trylock
  pthread_spin_unlock
  random
  read
  recv
  recvfrom
  send
  sendto
  setsockopt
  shmat
  shmget
  sigaction
  sigaddset
  sigemptyset
  sigtimedwait
  sleep
  socket
  sprintf
  sscanf
  stat
  strchr
  strdup
  strlen
  strrchr
  strstr
  time
  unlink
  usleep
  vprintf
  write
