prog: round_fpu64
vgopts: -q