prog: stackgrowth
vgopts: --sanity-level=3