infer.cc 6.5 KB