Random code pertaining to seccomp