prog: bigcode
vgopts: --smc-check=stack