prog: v6intThumb
vgopts: -q