prog: post-syscall