prog: load_store
vgopts: -q