1prog: post-syscall
2vgopts: -q
3