pub const SECCOMP_FILTER_FLAG_SPEC_ALLOW: u64 = 4; // 4u64