prog: more_x87_fp
vgopts: -q