prog: big_debuginfo_symbol
vgopts: -q