prog: badaddrvalue