prog: smc1
vgopts: --smc-check=all