Kafel is a language and library for specifying syscall filtering policies, which are compiled into...