prog: post-syscall
vgopts: -q