prog: LoadStore1
vgopts: -q