1prog: bigcode
2vgopts: --smc-check=stack
3