prog: bug254164
vgopts: -q