Corpus for socket$inet6:

Coverage	Program
683	socket$inet6
445	socket$inet6
444	socket$inet6