- hello-lib.c:

#ifdef DEBUG
    /*
     * This utility function can be used to inspect the BPF filter
     * generated by the libseccomp library.
     */
    
    rc = seccomp_export_pfc(ctx, STDERR_FILENO);
    if (rc < 0) {
        fatal("seccomp_export_pfc() failed: %d\n", rc);
    }
#endif