prog: LoadStore
vgopts: -q