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