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