prog: badseg