prog: v6intThumb
vgopts: -q
prog: v6intThumb
vgopts: -q