prog: resolv